Searching for "Lilac A Functional Programming Language Based on Linear Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Seminar on Linear Logic and Application - Suggested Topics
by Frank Pfenning, G. Plotkin, Logical Frameworks
… programming language based on linear logic. Journal of Functional Programming, 1993. [Mil92] D. Miller…
Add To MetaCart

Computational Aspects of Linear Logic
by Patrick D. Lincoln, D. Wakeling, C. Runciman Linearity, S. Wray, P. Petkov — 1992
….C. Mackie. Lilac - a functional programming language based on linear logic. Master's thesis, Imperial…
Cited by 13 (3 self) – Add To MetaCart

st Periodic Progress Report
by October Th
…. Ian Mackie, LiLac: a functional programming language based on Linear Logic, to appear in Journal…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB