Publications

Default Folder
* Default Sub-Folder

Default Folder

Default Sub-Folder

* Linearity and the Pi-Calculus, Naoki Kobayashi and Benjamin C. Pierce and David N. Turner. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996.
* Typing and Subtyping for Mobile Processes, Benjamin Pierce and Davide Sangiorgi. In Eighth Annual IEEE Symposium on Logic in Computer Science, 1993.
* Concurrent Objects in a Process Calculus, Benjamin C. Pierce and David N. Turner. In Theory and Practice of Parallel Programming, 1994.
* Pict: A Programming Language Based on the Pi-Calculus, Benjamin C. Pierce and David N. Turner. Technical report, Computer Science Department, Indiana University, 1997.
* Dynamic Typing in Polymorphic Languages, Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Didier Rémy. In Journal of Functional Programming, 1995.
* Dynamic Typing in a Statically Typed Language, Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin. In ACM Transactions on Programming Languages and Systems, 1991.
* Behavioral Equivalence in the Polymorphic Pi-Calculus, Benjamin C. Pierce and Davide Sangiorgi. In Journal of the ACM, 2000.(new)
* The Cryptographic $\lambda$-Calculus: Syntax, Semantics, Type System and Logical Relations, Eijiro Sumii and Benjamin C. Pierce. In Informal Proceedings of JSSST Workshop on Programming and Programming Languages (PPL2001), 2001.(new)
* Logical Relations for Encryption, Eijiro Sumii and Benjamin C. Pierce. In 14th IEEE Computer Security Foundations Workshop, 2001.(new)


(xml) RSS feed