Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (1999)

Cached

Download Links

by Matthew Flatt , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen , Robert Bruce , Findler Shriram , Krishnamurthi Matthias Felleisen
Venue:In Proceedings of the 1999 ACM International Conference on Functional Programming (ICFP ’99
Citations:21 - 6 self

Documents Related by Co-Citation

61 Composable and Compilable Macros: You Want it When? – Matthew Flatt, Compilable Macros - 2002
74 PLT MzScheme: Language manual – Matthew Flatt, Copyright C○- Matthew Flatt - 1997
88 JRes: A Resource Accounting Interface for Java – Grzegorz Czajkowski , Thorsten von Eicken - 1998
111 Componential set-based analysis – Cormac Flanagan, Matthias Felleisen - 1997
69 Catching Bugs in the Web of Program Invariants – Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen - 1996
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
55 Multitasking without Compromise: A Virtual Machine Evolution – Grzegorz Czajkowski, Laurent Daynès - 2001
72 Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java – Godmar Back, Wilson C. Hsieh, Jay Lepreau - 2000
3 Selectors make set-based analysis too hard. Higher Order and Symbolic Computation – Robert Bruce Findler, Paul Steckler - 2005
28 Making Set-Constraint Based Program Analyses Scale – M Fähndrich, A Aiken - 1996
23 Polymorphic Splitting: An Effective Polyvariant Flow Analysis – Andrew K. Wright, Suresh Jagannathan - 1998
25 Separate Abstract Interpretation for Control-Flow Analysis – Yan Mei Tang, Pierre Jouvelot - 1994
54 The semantics of Scheme control-flow analysis – Olin Shivers - 1991
8 A Modular, Extensible Proof Method for Small-step Flow Analyses – Mitchell Wand, Galen B. Williamson - 2002
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
158 Object-Oriented Type Systems – J Palsberg, M I Schwartzbach - 1994
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
114 Set-based analysis of ML programs – Nevin Heintze - 1994
36 Dynamic Typing – Fritz Henglein - 1992