Polynomial Polymorphism (1995)

by C. Barry Jay
Venue:Proceedings of the Eighteenth Australasian Computer Science Conference: Glenelg, South Australia 1--3 February
Citations:12 - 4 self

Active Bibliography

60 A Semantics for Shape – C. Barry Jay - 1995
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
3 The Data Field Model РBjörn Lisper, Per Hammarlund - 2001
28 Polytypic Pattern Matching – Johan Jeuring - 1995
7 Deterministic Concurrency – David Paul Carter - 1993
A Modular, Algebra-Sequenced Paramorphic . . . – Mark H. Snyder - 2007
Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc
3 Covariant Types – C. Barry Jay - 1997
Logic programming in Oz and its relation to multiparadigm programming – Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte - 2000
5 The UniForM WorkBench - a Higher Order Tool Integration Framework – Einar W. Karlsen - 1998
3 An Overview of the Parallel Language Id (a foundation for pH, a parallel dialect of Haskell) – Rishiyur S. Nikhil - 1993
13 From Macros to Reusable Generative Programming – Shriram Krishnamurthi , Matthias Felleisen, Bruce F. Duba - 1999
11 Delimiting the Scope of Effects – Jon G. Riecke - 1993
Higher-Order Charity – Mark A. Schroeder - 1997
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
1 Functors, Types and Shapes – Barry Jay, Eugenio Moggi - 1998
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993