"Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000
No abstract available.
DOI 10.1017/s0956796803004830
Related papers
- Robin Milner 1934--2010: verification, languages, and concurrency POPL 2011
- A Metalanguage for Interactive Proof in LCF POPL 1978
- ML: metalanguage or object language? ICFP 2010
- Region analysis and a pi-calculus with groups JFP 2002
- Faith, hope, and love: an essay on software science's neglect of human factors OOPSLA 2010
- Editorial: New Year, New Paper Tracks TOPLAS 2025
- (Programs), Proofs and Refutations (and Tests and Mutants) Onward! 2024
- Structured Operational Semantics of a Fragment of the Language Scheme JFP 1998