Natural semantics (1987)

Cached

Download Links

by G. Kahn
Venue:In Proc. 4th Annual Symp. Theoretical Aspects of Computer Science, number 247 in Lect. Notes in Comp. Sci
Citations:300 - 2 self

Documents Related by Co-Citation

1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
14 Specifying the Behavior of Graphical Objects Using Esterel", INRIA Rapport de Recherche 836 – D Clement, J Incerpi - 1988
854 A formulation of the simple theory of types – Alonzo Church - 1940
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
26 Investigating a proof-theoretic meta-language for functional programs – J J Hannan - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
939 A theory of type polymorphism in programming – Robin Milner - 1978
3219 Communication and Concurrency – R Milner - 1990
127 Operational and algebraic semantics of concurrent processes – R Milner - 1990
176 An overview of -prolog – D Miller, G Nadathur - 1988
77 Elf: A Language for Logic Definition and Verified Metaprogramming – Frank Pfenning - 1989
616 Light Linear Logic – Jean-yves Girard
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
99 An Overview of λProlog – Gopalan Nadathur, Dale Miller - 1988
26 Executable specification of static semantics – T Despeyroux - 1984
42 Incremental generation of parsers – J Heering, P Klint, J Rekers - 1989