Types as Theories (1991)

Cached

Download Links

by Joseph Goguen Programming , Joseph A. Goguen
Venue:Topology and Category Theory in Computer Science

Active Bibliography

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
8 Higher Order Functions Considered Unnecessary for Higher Order Programming – Joseph A. Goguen - 1990
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
14 A Language for Generic Programming – Jeremy G. Siek - 2005
The C++0x “Concepts” Effort – Jeremy G. Siek - 2011
2 Should ML be object-oriented? – David MacQueen
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
25 DTRE - A Semi-Automatic Transformation System – Lee Blaine, Allen Goldberg - 1991
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i-- – Donald Sannella, Andrzej Tarlecki
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
26 Environments: a flexible binding mechanism to support system evolution – Alan Dearle - 1989
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs – Gary T. Leavens, William E. Weihl - 1994
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
3 On the Compositionality and Analysis of Algebraic High-Level Nets – Johan Lilius, Johan Lilius - 1991
2 A Distributed Architecture Definition Language: a DADL – Ron Burback - 1998
1 Concepts of Object Paradigm for an Approach to Modular Specification of Communication Protocols – Jörg Fischer, C Fl Jorg Fischer, Otto-von-guericke-universitat Magdeburg, Fakultat Fur Informatik - 1999
3 Constructing Specifications and Modules in a KZ-Doctrine – Gillian Hill - 1994
1 Detecting Isomorphisms of Modular Specifications with Diagrams – Catherine Oriat - 1995