A Categorical Programming Language (1987)

Cached

Download Links

by Tatsuya Hagino , Tatsuya Hagino
Citations:66 - 0 self

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 A Survey of Formal Software Development Methods – Donald Sannella - 1988
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
7 A new semantics for Clear – D. T. Sannella
My ADT Shrine – Hans-dieter Ehrich, Technische Universität Braunschweig
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
8 Higher Order Functions Considered Unnecessary for Higher Order Programming – Joseph A. Goguen - 1990
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
4 Dialgebraic Specification and Modeling – Peter Padawitz
2 Colimit Library for Graph Transformations and Algebraic Development Techniques – Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla - 1998
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
unknown title – unknown authors - 2013
48 Little Theories – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992