From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (1997)

Cached

Download Links

by David Sands
Venue:In Proc. POPL'97, the 24 th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:18 - 1 self

Documents Related by Co-Citation

1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
3242 Communication and Concurrency – R Milner - 1989
105 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
662 Concurrency and automata on infinite sequences – D Park - 1981
123 Bisimilarity as a theory of functional programming – Andrew Gordon
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
75 Operationally-based theories of program equivalence – Andrew Pitts - 1997
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990