David N. TurnerAffiliations:
- University of Kent, UK
According to our database1, David N. Turner authored at least 10 papers between 1992 and 2000.
Legend:Book In proceedings Article PhD thesis Other
Pict: a programming language based on the Pi-Calculus.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995
J. Funct. Program., 1994
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992