论文信息 - Practical Polymorphism - 字舞流文

Practical Polymorphism

Rishiyur S. Nikhil | R. Nikhil

[1] M. D. McIlroy. Alternatives to extensible languages , 1969, SIGP.

[2] Stephen N. Zilles,et al. Programming with abstract data types , 1974 .

[3] Gerald Jay Sussman,et al. The Revised Report on SCHEME: A Dialect of LISP. , 1978 .

[4] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[5] Gerald Jay Sussman,et al. The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two) , 1978 .

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

[7] Peter Buneman,et al. A practical functional programming system for databases , 1981, FPCA '81.

[8] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.

[9] Peter Buneman,et al. An implementation technique for database query languages , 1982, TODS.

[10] Lennart Augustsson,et al. A compiler for lazy ML , 1984, LFP '84.

[11] Renzo Orsini,et al. GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.