65 search results - page 1 / 13 » The Heap Lambda Machine |
37
Voted
CORR
2008
Springer
15 years 6 days ago
2008
Springer
193
click to vote
POPL
2009
ACM
16 years 23 days ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
105
Voted
AMC
2006
15 years 5 days ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
121
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
89
Voted
POPL
1994
ACM
15 years 4 months ago
1994
ACM
Heap allocation with copying garbage collection is believed to have poormemory subsystem performance. We conducted a studyofthememory subsystem performance of heap allocation for ...