Masahito Hasegawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1997–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LICS | Braids, Twists, Trace and Duality in Combinatory Algebras. | Masahito Hasegawa, Serge Lechenne |
| 2005 | LICS | Relational Parametricity and Control. | Masahito Hasegawa |
| 2004 | FLOPS | Semantics of Linear Continuation-Passing in Call-by-Name. | Masahito Hasegawa |
| 2003 | ICFP | A sound and complete axiomatization of delimited continuations. | Yukiyoshi Kameyama, Masahito Hasegawa |
| 2002 | CSL | Classical Linear Logic of Implications. | Masahito Hasegawa |
| 2002 | FLOPS | Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. | Masahito Hasegawa |
| 2001 | APLAS | Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. | Masahito Hasegawa |
| 2001 | FOSSACS | Axioms for Recursion in Call-by-Value. | Masahito Hasegawa, Yoshihiko Kakutani |
| 1997 | CSL | From Action Calculi to Linear Logic. | Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin |