A Semantics for Shape (1995)

Cached

Download Links

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

Active Bibliography

12 Polynomial Polymorphism – C. Barry Jay - 1995
20 Shape Checking of Array Programs – C. Barry Jay, Milan Sekanina - 1997
3 The Data Field Model – Björn Lisper, Per Hammarlund - 2001
193 Programming Parallel Algorithms – Guy E. Blelloch - 1996
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
Functorial ML – Functorial Ml, C. B. Jay, G. Bellè, E. Moggi - 1998
8 Towards a Scalable Parallel Object Database - The Bulk Synchronous Parallel Approach – K. Ronald Sujithan - 1996
730 Notions of Computation and Monads – Eugenio Moggi - 1991
19 Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors – Siddhartha Chatterjee - 1993
102 Compiling with Types – Greg Morrisett - 1995
7 Programming with inductive and co-inductive types – John Greiner - 1992
3 Covariant Types – C. Barry Jay - 1997
7 Deterministic Concurrency – David Paul Carter - 1993
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
34 Shapely Types and Shape Polymorphism – C. Barry Jay, J.R.B. Cockett - 1994
3 Inductive Programming – Richard B. Kieburtz - 1993
25 Typed Common Intermediate Format – Zhong Shao - 1997
8 Modular monad transformers – Mauro Jaskelioff - 2009
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007