177 search results - page 36 / 36 » The Essence of Compiling with Continuations |
105
Voted
PLDI
2012
ACM
13 years 20 days ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
96
Voted
CC
2003
Springer
15 years 3 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...