Discover open access scientific publications

Search, annotate, share and cite publications

Publications by FRANK PFENNING

Linear Logic Propositions as Session Types

Mathematical Structures in Computer Science

Computer Science Applications

English

Staged Computation With Names and Necessity

Journal of Functional Programming

English