Lilac: A functional Programming Language Based On Linear Logic

Ian Mackie

doi:10.1017/S0956796800001131

Lilac: A functional Programming Language Based On Linear Logic

Ian Mackie

Imperial College London

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

30 Citations (Scopus)

Résumé

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.

langue originale	Anglais
Pages (de - à)	395-433
Nombre de pages	39
journal	Journal of Functional Programming
Volume	4
Numéro de publication	4
Les DOIs	https://doi.org/10.1017/S0956796800001131
état	Publié - 1 janv. 1994
Modification externe	Oui

Accès au document

10.1017/S0956796800001131

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{c7d7df39a47d4513bd398b5deffaca4f,

title = "Lilac: A functional Programming Language Based On Linear Logic",

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.",

author = "Ian Mackie",

year = "1994",

month = jan,

day = "1",

doi = "10.1017/S0956796800001131",

language = "English",

volume = "4",

pages = "395--433",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Journal of Functional Programming Trust",

number = "4",

}

TY - JOUR

T1 - Lilac

T2 - A functional Programming Language Based On Linear Logic

AU - Mackie, Ian

PY - 1994/1/1

Y1 - 1994/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84972481768

U2 - 10.1017/S0956796800001131

DO - 10.1017/S0956796800001131

M3 - Article

AN - SCOPUS:84972481768

SN - 0956-7968

VL - 4

SP - 395

EP - 433

JO - Journal of Functional Programming

JF - Journal of Functional Programming

IS - 4

ER -

Lilac: A functional Programming Language Based On Linear Logic

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation