Find link

language:

Find link is a tool written by Edward Betts.

searching for Luca Cardelli 4 found (62 total)

Actor model and process calculi history (2,420 words) [view diff] exact match in snippet view article find links to article

Processes and Axioms Lecture Notes in Computer Science Vol.197 1984. Luca Cardelli. An implementation model of rendezvous communication Seminar on Concurrency

Actor model and process calculi (3,220 words) [view diff] exact match in snippet view article find links to article

algebra for synchronous communication Information and Control. 1984. Luca Cardelli. An implementation model of rendezvous communication Seminar on Concurrency

Type inference (2,922 words) [view diff] exact match in snippet view article find links to article

overview of Polymorphic type inference. Basic Typechecking paper by Luca Cardelli, describes algorithm, includes implementation in Modula-2 Implementation

Mogensen–Scott encoding (1,781 words) [view diff] exact match in snippet view article find links to article

ISBN 978-3-540-52753-4. See the note "Types for the Scott numerals" by Martín Abadi, Luca Cardelli and Gordon Plotkin (February 18, 1993). Stump, A. (2009). Directly reflective