PHILIP WADLER. "Is there a Use for Linear Logic?". In ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut, June 1991. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Relevant and Substructural Logics - Restall (2001) (3 citations) (Correct)
....present in the area. Thirdly, on showing that the restrictions on # abstraction in substructural logics has useful parallels in computation where resources may be consumed by computation. Wadler and colleagues show that this kind of term system has connections with functional programming [160, 278, 279, 281, 280, 282, 283]. 2.11 Structurally Free Logic A very recent innovation in the proof theory of substructural logics is the advent of structurally free logic. The idea is not new it comes from a 1976 essay by Bob Meyer [171] However, the detailed exposition is new, dating from 1997 [42, 41, 93] The ....
PHILIP WADLER. "Is there a Use for Linear Logic?". In ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut, June 1991.
Sparse Polynomials and Linear Logic - Baker (1993) (Correct)
No context found.
Wadler, P. "Is there a use for linear logic?". Proc. ACM PEPM'91, New Haven, June 1991, 255-273.
Minimizing Reference Count Updating with Deferred and Anchored.. - Baker (1994) (2 citations) (Correct)
No context found.
Wadler, P. "Is there a use for linear logic?". Proc. ACM PEPM'91, New Haven, June 1991, 255-273.
A "Linear Logic" Quicksort - Baker (1994) (6 citations) (Correct)
No context found.
Wadler, P. "Is there a use for linear logic?". Proc. ACM PEPM'91, New Haven, June 1991, 255-273.
Lively Linear Lisp - 'Look Ma, No Garbage!' - Baker (1992) (Correct)
No context found.
Wadler, Philip. "Is there a use for linear logic?". Proc. ACM PEPM'91, New Haven, June, 1991,255-273.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC