Structured theories in LCF (1983)

Cached

Download Links

by D. T. Sannella , R. M. Burstall
Venue:In Proc. 8th Colloq. on Trees in Algebra and Programming, volume 159 of Lecture Notes in Computer Science
Citations:31 - 8 self

Documents Related by Co-Citation

162 Semantics of CLEAR, a specification language – R M Burstall, J A Goguen - 1980
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
128 R.: Introducing Institutions – J Goguen, Burstall - 1984
274 An initial algebra approach to the specification, correctness, and implementation of abstract data types – Joseph A Goguen, James W Thatcher, Eric G Wagner - 1978
645 Systematic Software Development Using VDM – C B Jones - 1986
139 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
857 A formulation of the simple theory of types – Alonzo Church - 1940
944 A theory of type polymorphism in programming – Robin Milner - 1978