Active Bibliography

12 Constructive Data Refinement in Typed Lambda Calculus – Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki - 2000
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
8 Global Development via Local Observational Construction Steps – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2002
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
5 Toward Component-Oriented Formal Software Development: An Algebraic Approach (Extended Abstract) – Michel Bidoit, Donald Sannella, Andrzej Tarlecki
3 Observational interpretation for CASL specifications – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2004
1 Specification Refinement with System F, The Higher-Order Case – Jo Erskine Hannay - 2000
4 Logical Relations and Data Abstraction – John Power, Edmund Robinson - 1996
PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke) – Ugo de'Liguoro - 1996
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
6 Specification Refinement with System F – Jo Erskine Hannay - 1999
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
2 Functional Concepts in C++ – Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
2 Linear L"auchli semantics – R. F. Blute, P. J. Scott - 1996
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996