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

53 Composable and Compilable Macros: You Want it When? – Matthew Flatt, Compilable Macros - 2002
71 PLT MzScheme: Language manual – Matthew Flatt, Copyright C○- Matthew Flatt - 1997
70 Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java – Godmar Back, Wilson C. Hsieh, Jay Lepreau - 2000
85 JRes: A Resource Accounting Interface for Java – Grzegorz Czajkowski , Thorsten von Eicken - 1998
108 Componential set-based analysis – Cormac Flanagan, Matthias Felleisen - 1997
64 Catching Bugs in the Web of Program Invariants – Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen - 1996
91 Pilot: An Operating System for a Personal Computer – David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell - 1980
82 Implementing Multiple Protection Domains in Java – Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, Thorsten von Eicken - 1998
29 Termination in Language-based Systems – Algis Rudys, John Clements, Dan S. Wallach - 2002
53 Multitasking without Compromise: A Virtual Machine Evolution – Grzegorz Czajkowski, Laurent Daynès - 2001
8 A Modular, Extensible Proof Method for Small-step Flow Analyses – Mitchell Wand, Galen B. Williamson - 2002
3 Selectors make set-based analysis too hard. Higher Order and Symbolic Computation – Robert Bruce Findler, Paul Steckler - 2005
25 Separate Abstract Interpretation for Control-Flow Analysis – Yan Mei Tang, Pierre Jouvelot - 1994
39 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
67 Finding the source of type errors – Mitchell Wand - 1986
37 Type Error Slicing in Implicitly Typed Higher-Order Languages – Christian Haack, J. B. Wells - 2004
18 Modular Static Program Analysis, invited paper – P Cousot, R Cousot - 2002
15 Modular Control Flow Analysis for Libraries – Christian W Probst - 2002
60 The Objective Caml system: Documentation and user's manual, 2000 – X Leroy