Shapely Types and Shape Polymorphism (1994)

Cached

Download Links

by C. Barry Jay , J.R.B. Cockett
Venue:Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming
Citations:34 - 6 self

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
949 Performance Fortran Forum. High Performance Fortran Language Speci Version 1.0 – High - 1993
422 Algorithmic Skeletons: Structural Management of Parallel Computation – Murray I Cole - 1989
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
539 M.: “Efficient string matching: An aid to bibliographic search – A Aho, Corasick - 1975
638 V.: “Fast pattern matching in strings – D Knuth, J Morris, Pratt - 1977
944 A theory of type polymorphism in programming – Robin Milner - 1978