1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2009
Lazy mixin modules and disciplined effects
Keiko Nakata
Programming languages are expected to support programmer's effort to structure program code. The ML module system, object systems and mixins are good examples of language construct…
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…