15 citations · 29 across the 9 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2009★ 1 cited
Small-step and big-step semantics for call-by-need
Keiko Nakata, Masahito Hasegawa
We present natural semantics for acyclic as well as cyclic call-by-need lambda calculi, which are proved equivalent to the reduction semantics given by Ariola and Felleisen. The na…
cs.PL2006★ 15 cited
Relational Parametricity and Control
Masahito Hasegawa
We study the equational theory of Parigot's second-order λμ-calculus in connection with a call-by-name continuation-passing style (CPS) translation into a fragment of the…