Lilac: a functional programming language based on linear logic. 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 W algorithm, together with a description of the implementation and examples of use.

References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Curien, Pierre-Louis: Preface to the special volume (2011)
  2. Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian: Gödel’s system $\cal T$ revisited (2010)
  3. Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian: Linearity and iterator types for Gödel’s system $\mathcal T$ (2010)
  4. Gay, Simon J.; Nagarajan, Rajagopal: Types and typechecking for communicating quantum processes (2006)
  5. Gay, Simon; Hole, Malcolm: Subtyping for session types in the pi calculus (2005)
  6. Dantsin, Evgenyi; Voronkov, Andrei: A nondeterministic polynomial-time unification algorithm for bags, sets and trees (1999)
  7. Braüner, Torben: A general adequacy result for a linear functional language (1997)
  8. Chirimar, Jawahar; Gunter, Carl A.; Riecke, Jon G.: Reference counting as a computational interpretation of linear logic (1996)
  9. Bono, Viviana; Liquori, Luigi: A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects (1995)
  10. Braüner, Torben: The Girard translation extended with recursion (1995)
  11. Maraist, John; Odersky, Martin; Turner, David N.; Wadler, Philip: Call-by-name, call-by-value, call-by-need and the linear lambda calculus. (1995)
  12. Mackie, Ian: Lilac: A functional programming language based on linear logic (1994)
  13. Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin: A term calculus for intuitionistic linear logic (1993)
  14. Mackie, Ian; Román, Leopoldo; Abramsky, Samson: An internal language for autonomous categories (1993)