A Semantics for Shape (1995)

Cached

Download Links

by C. Barry Jay
Venue:Science of Computer Programming
Citations:60 - 18 self

Documents Related by Co-Citation

175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
92 Polytypic programming – Patrik Jansson - 2000
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
28 Polytypic Pattern Matching – Johan Jeuring - 1995
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992
179 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
41 Calculate Polytypically! – Lambert Meertens - 1996
27 Functorial ML – G. Belle, C. B. Jay, E. Moggi - 1996
75 Adaptive Object-Oriented Programming using Graph-Based Customization – Karl J. Lieberherr, Ignacio Silva-Lepe, Cun Xiao - 1994
60 Efficient Implementation of Adaptive Software – Jens Palsberg, Cun Xiao, Karl Lieberherr - 1994
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
13 Least fixed point of a functor – J Ad├ímek, V Koubek - 1979
5296 Design Patterns Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
12 Polynomial Polymorphism – C. Barry Jay - 1995
44 Automatic synthesis of typed -programs on term algebras. TCS – Corrado Bohm, Alessandro Berarducci - 1985