Added source names as footnotes as suggested by Guy.
|
1463
|
The definition of Standard ML
– Milner, Tofte, et al.
- 1990
|
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
565
|
Notions of computation and monads
– Moggi
- 1991
|
|
414
|
Termination of rewriting
– Dershowitz
- 1987
|
|
335
|
ML for the working programmer
– Paulson
- 1991
|
|
316
|
The polyadic -calculus: a tutorial
– Milner
- 1991
|
|
281
|
Functions as processes
– Milner
- 1992
|
|
216
|
CML: A Higher-order Concurrent Language
– Reppy
- 1991
|
|
119
|
Higher-order concurrency
– Reppy
- 1992
|
|
97
|
Observable properties of higher order functions that dynamically create local names, or: What's new
– Pitts, Stark
- 1993
|
|
63
|
Functional Programming Using Standard ML
– Wikstrom
- 1987
|
|
49
|
LOTOS—A formal description technique based on the temporal ordering of observational behaviour
– ISO
- 1989
|
|
47
|
A fully abstract denotational model for higher-order processes
– Hennessy
- 1994
|
|
44
|
A Formal Description Technique Based on an Extended State Transition Model
– ESTELLE
- 1988
|
|
34
|
Programming Language Concepts and Paradigms
– Watt
- 1990
|
|
27
|
A calculus of higher-order communicating systems
– Thomsen
|
|
26
|
A calculus of mobile processes, i and ii
– Milner, Parrow, et al.
- 1992
|
|
23
|
33 examples of termination
– Dershowitz
- 1993
|
|
15
|
On the Design of Extended LOTOS, a Specification Language for Open Distributed Systems
– Brinksma
- 1988
|
|
15
|
A fully abstract semantics for a concurrent functional language with monadic types
– Jeffrey
- 1995
|
|
12
|
LOTOS Specification of the MAA Standard, with an Evaluation of LOTOS
– Munster
- 1991
|
|
12
|
Generating efficient portable code for a strict applicative language
– Schulte, Grieskamp
- 1992
|
|
10
|
A proposal for data types for E-LOTOS
– Pecheur
- 1994
|
|
9
|
A one-pass algorithm for overload resolution in Ada
– Baker
- 1982
|
|
7
|
et al. A report on the functional language Haskell
– Hudak, Jones, et al.
- 1992
|
|
6
|
Enhancements of LOTOS
– Brinksma, Leih
- 1995
|
|
4
|
Algebraic programming
– Fett, Gerke, et al.
- 1993
|
|
4
|
Principles of FP2. Term Algebras for Specification of Parallel Machines
– Schnoebelen, Jorrand
- 1989
|
|
4
|
Les compilateurs, th'eorie, construction, g'en'eration. Manuels informatiques Masson
– Wilhelm, Maurer
- 1994
|
|
3
|
Modular LOTOS. Annex G
– Manas
- 1994
|
|
3
|
Modules in standard ML
– McQueen
- 1986
|
|
3
|
The Programming Language Opal --- Implementation Language
– Pepper
- 1994
|
|
3
|
Data specifications in modular LOTOS
– Roth, Meer, et al.
- 1995
|
|
3
|
Formal program development in extended ML for the working programmer
– Sanella
- 1989
|
|
3
|
Integration of Standard Data Types into LOTOS
– Storp
- 1991
|
|
