A Semantics for Static Type Inference in a Nondeterministic Language (1994)

Cached

Download Links

by Martín Abadi
Citations:5 - 0 self

Documents Related by Co-Citation

1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
4 Filter models for a parallel and non deterministic lambda-calculus – M Dezani-Ciancaglini, U de'Liguoro, A Piperno - 1993
218 A filter lambda model and the completeness of type assignment – M Coppo - 1983
24 A Lambda Calculus for (Strict) Parallel Functions – G Boudol - 1994
34 Principal type schemes and -calculus semantics – M Coppo, M Dezani-Ciancaglini, B Venneri - 1980
36 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
59 Principal type schemes for an extended type theory – Ronchi della Rocca, S, B Venneri - 1984
2 de'Liguoro, "May and Must Convergency in Concurrent -calculus", LNCS 841 – F Alessi, M Dezani-Ciancaglini, U - 1994
7 The Lazy -Calculus : an Investigation into the Foundations of Functional Programming – C-H L Ong - 1988
18 A mathematical semantics for a nondeterministic typed λcalculus. Theoret – M C B Hennessy, E A Ashcroft - 1980
9 The Lazy -Calculus in a Concurrency Scenario – D Sangiorgi - 1994
26 On Semantic Foundations for Applicative Multiprogramming – Samson Abramsky - 1983
36 Lambda Calculus Models and Extensionality – R Hindley, G Longo - 1980
130 Lambda-Calculus Models of Programming Languages – J H Morris - 1968
104 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
1 S.R.: (semi)- separability of finite sets of terms – M Coppo, M Dezani-Ciancaglini, della Rocca - 1978
1 Space–time scales of internal waves: A progress report – unknown authors - 1975
6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
2 Light Linear Logic. Available by ftp anonymous on lmd.univ-mrs.fr – J-Y Girard - 1995