THE COLLECTION PROGRAMMING LANGUAGE - Reference Manual

[1]  Pijush K. Ghosh,et al.  A mathematical model for shape description using Minkowski operators , 1988, Comput. Vis. Graph. Image Process..

[2]  Didier Rémy,et al.  Type checking records and variants in a natural extension of ML , 1989, POPL '89.

[3]  Peter Buneman,et al.  Database programming in Machiavelli—a polymorphic language with static type inference , 1989, SIGMOD '89.

[4]  Patrick C. Fischer,et al.  Nested Relational Structures , 1986, Adv. Comput. Res..

[5]  Dan Suciu,et al.  Comprehension syntax , 1994, SGMD.

[6]  Silvio Micali,et al.  Advances in Computing Research: The Theory of Databases , 1986 .

[7]  Marian Petre,et al.  Issues Governing the Suitability of Programming Languages for Programming Tasks , 1988, BCS HCI.

[8]  Rishiyur S. Nikhil The Parallel Programming Language Id and its Compilation for Parallel Machines , 1993, Int. J. High Speed Comput..

[9]  Carl A. Gunter Semantics of programming languages: structures and techniques , 1993, Choice Reviews Online.

[10]  Limsoon Wong,et al.  Some Properties of Query Languages for Bags , 1993, DBPL.

[11]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[12]  Peter Buneman,et al.  A study of semantics, types and languages for databases and object-oriented programming , 1989 .

[13]  WadlerPhilip,et al.  Report on the programming language Haskell , 1992 .

[14]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.

[15]  Akifumi Makinouchi,et al.  A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model , 1977, VLDB.

[16]  Dan Suciu,et al.  On Two Forms of Structural Recursion , 1995, ICDT.

[17]  Richard Hull,et al.  The format model: a theory of database organization , 1982, JACM.

[18]  Limsoon Wong,et al.  A Data Transformation System for Biological Data Sources , 1995, VLDB.

[19]  Limsoon Wong,et al.  Principles of Programming with Complex Objects and Collection Types , 1995, Theor. Comput. Sci..

[20]  John C. Mitchell,et al.  ML with extended pattern matching and subtypes , 1988, LISP and Functional Programming.

[21]  Philip W. Trinder,et al.  Comprehensions, a Query Notation for DBPLs , 1992, DBPL.

[22]  Rod M. Burstall,et al.  HOPE: An experimental applicative language , 1980, LISP Conference.

[23]  D. A. Turner,et al.  Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.