|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
1497
|
The Definition of Standard ML
– R Milner, M Tofte, R Harper
- 1990
|
|
172
|
Logic Programming in the LF Logical Framework
– Frank Pfenning
- 1991
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
729
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
301
|
Intuitionistic Type Theory
– Per Martin-Löf
- 1984
|
|
25
|
Investigating a Proof-Theoretic Meta-Language for Functional Programs
– J Hannan
- 1991
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
2970
|
Communication and Concurrency
– R Milner
- 1989
|
|
118
|
Operational and algebraic semantics of concurrent processes
– R Milner
- 1990
|
|
70
|
Elf: A Language for Logic Definition and Verified Metaprogramming
– Frank Pfenning
- 1989
|
|
176
|
An Overview of *Prolog
– G Nadathur, D Miller
- 1988
|
|
271
|
A logic programming language with lambda-abstraction, function variables, and simple unification
– Dale Miller
- 1990
|
|
541
|
Light Linear Logic
– Jean-yves Girard
|
|
84
|
An Overview of λProlog
– Gopalan Nadathur, Dale Miller
- 1988
|
|
19
|
Implementation of Modular Algebraic Specifications
– P R H Hendriks
- 1991
|
|
105
|
Algebraic specification
– J A Bergstra, J Heering, P Klint
- 1989
|
|
6
|
An algebraic definition for control structures
– G Cousineau
- 1980
|
