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.