LispMe: An Implementation of Scheme for the Palm Pilot (2001)

Cached

Download Links

by Fred Bayer
Citations:2 - 0 self

Documents Related by Co-Citation

10 A Compiler Generator for Semantic Grammars – Larry Paulson - 1981
12 Staging transformations for abstract machines – John Hannan - 1992
12 Compiler prototyping using formal semantics – Uwe Pleban - 1984
6 Partial Evaluation of Computation Process, Revisited – Yoshihiko Futamura - 1999
9 Reflections on Landin’s J operator: a partly historical note – Matthias Felleisen - 1987
10 Globalization and live variables – Carsten K Gomard, Peter Sestoft
4 Evaluation under λ-Abstraction – Hongwei Xi, Hd For - 1996
5 Histories of discoveries of continuations: Belles-lettres with equivocal tenses – Peter J Landin - 1997
4 Complexity Aspects of Programming Language Design—From Logspace to Elementary Time via Proofnets and Intersection Types – Peter Møller Neergaard - 2004
5 Abstract Computing Machines: A Lambda Calculus Perspective. Texts in Theoretical Computer Science. An EATCS Series – Werner E Kluge - 2005
4 Axioms for delimited continuations in the CPS hierarchy – Yukiyoshi Kameyama - 2004
5 The correctness of a modified SECD machine – Clement L McGowan - 1970
2 A generalization of jumps and labels. Research report, UNIVAC Systems Programming Research – Peter J Landin - 1965
3 A foreword to ‘Fundamental concepts in programming languages – Peter D Mosses
2 a lazy version of an SECD machine with a flat environment – CASE - 1989
2 My years with Strachey – Peter J Landin
2 Generalised expression evaluation – Erik Meijer - 1988
2 Comments on Georgeff’s ‘transformations and reduction strategies for typed lambda expressions – Flemming Nielson, Hanne Riis Nielson - 1984
11 to direct style. Science of Computer Programming – Back - 1994
31 A scheme for a higher-level semantic algebra – William Clinger, Daniel P Friedman, Mitchell Wand - 1985