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

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
93 Polytypic programming – Patrik Jansson - 2000
28 Polytypic Pattern Matching – Johan Jeuring - 1995
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
178 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
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
13 Least fixed point of a functor – J Ad├ímek, V Koubek - 1979
12 Polynomial Polymorphism – C. Barry Jay - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
44 Automatic synthesis of typed -programs on term algebras. TCS – Corrado Bohm, Alessandro Berarducci - 1985
24 Automatic generation and use of abstract structure operators – T Sheard - 1991
105 Data structures and program transformation – G Malcolm - 1990