Lilac: a Functional Programming Language Based on Linear Logic PDF
By:Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing,Ian Mackie
Published on 1992 by
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 W algorithm, together with a description of the implementation, and examples of use.|
This Book was ranked at 26 by Google Books for keyword Computers Technology Programming Languages Computers Technology.
Book ID of Lilac: a Functional Programming Language Based on Linear Logic's Books is OcohGwAACAAJ, Book which was written byImperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing,Ian Mackiehave ETAG "C0y0P0wo7W0"
Book which was published by since 1992 have ISBNs, ISBN 13 Code is and ISBN 10 Code is
Reading Mode in Text Status is false and Reading Mode in Image Status is false
Book which have "34 Pages" is Printed at BOOK under CategoryFunctional programming (Computer science)
Book was written in en
eBook Version Availability Status at PDF is falseand in ePub is false
Book Preview
Download Lilac: a Functional Programming Language Based on Linear Logic PDF Free
Download Lilac: a Functional Programming Language Based on Linear Logic Book Free
Download Lilac: a Functional Programming Language Based on Linear Logic Free
Download Lilac: a Functional Programming Language Based on Linear Logic PDF
Download Lilac: a Functional Programming Language Based on Linear Logic Book
How to Download Lilac: a Functional Programming Language Based on Linear Logic Book
How to Download Lilac: a Functional Programming Language Based on Linear Logic
How to Download Lilac: a Functional Programming Language Based on Linear Logic pdf
How to Download Lilac: a Functional Programming Language Based on Linear Logic free
Free Download Lilac: a Functional Programming Language Based on Linear Logic
No comments:
Post a Comment