Is there a use for linear logic?
- 1 May 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 26 (9) , 255-273
- https://doi.org/10.1145/115866.115894
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Type inference with simple subtypesJournal of Functional Programming, 1991
- Strictness analysisPublished by Association for Computing Machinery (ACM) ,1989
- The linear abstract machineTheoretical Computer Science, 1988
- Linear logicTheoretical Computer Science, 1987
- A semantic model of reference counting and its abstraction (detailed summary)Published by Association for Computing Machinery (ACM) ,1986
- Detecting global variables in denotational specificationsACM Transactions on Programming Languages and Systems, 1985
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A system which automatically improves programsActa Informatica, 1976