On the Expressive Power of Programming Languages (1990)

Cached

Download Links

by Matthias Felleisen
Venue:Science of Computer Programming
Citations:133 - 4 self

Documents Related by Co-Citation

255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
130 Representing Monads – Andrzej Filinski - 1994
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
149 The theory and practice of first-class prompts – M Felleisen - 1988
116 A syntactic theory of sequential control – Matthias Felleisen, Daniel P Friedman, E Kohlbecker, B F Duba - 1987
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
13 V-CS: an extended -calculus for Scheme – Matthias Felleisen - 1988
39 Control delimiters and their hierarchies – Dorai Sitaram, Matthias Felleisen - 1990
48 Dybvig. Continuations and concurrency – R Hieb, R Kent - 1990
148 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
19 Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators – Luc Moreau, Christian Queinnec - 1994
31 Embedding continuations in procedural objects – C T Haynes, D P Friedman - 1987
42 Set Based Analysis of ML Programs – N Heintze - 1994
80 Revised 4 report on the algorithmic language Scheme – William Clinger, Jonathan Rees (editors, H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, M. Wand - 1991
69 Catching Bugs in the Web of Program Invariants – Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen - 1996
156 Revised report on the algorithmic language Scheme – W Clinger, J Rees - 1991
220 Call-by-name, call-by-value, and the #-calculus – G Plotkin - 1975