Extensible Denotational Language Specifications (1994)

Cached

Download Links

by Robert Cartwright , Matthias Felleisen
Venue:SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, NUMBER 789 IN LNCS
Citations:32 - 5 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
1 A Framework for Programming Denotational Semantics in C++ – Nikolaos S. Papaspyrou - 1996
24 A Syntactic Approach to Modularity in Denotational Semantics – Pietro Cenciarelli, Eugenio Moggi - 1993
Téléphone: +33(0)4.72.72.80.37 – École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec, École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec - 2004
7 The Essence of Multitasking – William L. Harrison - 2006
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
35 Semantic Lego – David Espinosa - 1995
7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
Type Theory for Programming Languages – Robert Harper - 1994
1 Denotational semantics of ANSI C – Nikolaos S. Papaspyrou - 2001