Abstract
We take Abramsky's term assignment for Intuitionistic Linear Logic (the linear term calculus) as the basis of a functional programming language. This is a language where the programmer must embed explicitly the resource and control information of an algorithm. We give a type reconstruction algorithm for our language in the style of Milner's iV algorithm, together with a description of the implementation and examples of use.
| Original language | English |
|---|---|
| Pages (from-to) | 395-433 |
| Number of pages | 39 |
| Journal | Journal of Functional Programming |
| Volume | 4 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 1 Jan 1994 |
| Externally published | Yes |
Fingerprint
Dive into the research topics of 'Lilac: A functional Programming Language Based On Linear Logic'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver