Distinguishing data structures and functions: The constructor calculus and functorial types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2044 LNCS, Issue , 2001, Pages 217-239

  Jay, C Barry ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CASE ANALYSIS; CHURCH-ROSSER PROPERTY; CONSTRUCTOR CALCULUS; EXPRESSIVE POWER; GENERIC FUNCTIONS; SPECIALISATION; SUBJECT REDUCTION; TYPE INFERENCE ALGORITHM;

BIOMINERALIZATION; FUNCTIONAL PROGRAMMING; INFERENCE ENGINES; PATHOLOGY; ALGEBRA; PATTERN MATCHING;

CALCULATIONS;

EID: 84888881830     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (23)

1. L Augustsson and all. Report on the functional programming language Haskell: version 1.4. Technical report, University of Glasgow, 1997.
2. M. Abadi, L. Cardelli, B.C. Pierce, and D. Rémy. Dynamic typing in polymorphic languages. Journal of Functional Programming, 5(1):111-130, 1995.
3. R. Backhouse and T. Sheard, editors. Workshop on Generic Programming: Marstrand, Sweden, 18th June, 1998. Chalmers University of Technology, 1998.
4. J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992.
5. J.R.B. Cockett. List-arithmetic distributive categories: locoi. Journal of Pure and Applied Algebra, 66:1-29, 1990.
6. J.A. Goguen and all. Initial algebra semantics and continuous algebras. Journal of the Association for Computing Machinery, 24:68-95, 1977.
7. J-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Tracts in Theoretical Computer Science. Cambridge University Press, 1989.
8. F. Henglein. Type inference with polymorphic recursion. ACM Trans. on Progr. Lang. and Sys., 15:253-289, 1993.
9. R. Hinze. A new approach to generic functional programming. In Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January 19-21, 2000, 2000.
10. J.M.E. Hyland. The eéctive topos. In A.S. Troelstra and D. van Dalen, editors, The L.E.J. Brouwer Centenary Symposium. North Holland, 1982.
11. P. Jansson. Functional Polytypic Programming. PhD thesis, Chalmers University, 2000.
12. C.B. Jay. Polynomial polymorphism. In R. Kotagiri, editor, Proceedings of the Eighteenth Australasian Computer Science Conference: Glenelg, South Australia 1-3 February, 1995, volume 17, pages 237-243. A.C.S. Communications, 1995.
13. C.B. Jay. A semantics for shape. Science of Computer Programming, 25:251-283, 1995.
14. C.B. Jay. Data categories. In M.E. Houle and P. Eades, editors, Computing: The Australasian Theory Symposium Proceedings, Melbourne, Australia, 29-30 January, 1996, volume 18, pages 21-28. Australian Computer Science Communications, 1996. ISSN 0157-3055.
15. C.B. Jay. Distinguishing data structures and functions: the constructor calculus and functorial types. http://www-staff.it.uts.edu.au/ ~cbj/Publications/constructors.ps, 2000.
16. C.B. Jay, G. Bellé, and E. Moggi. Functorial ML. Journal of Functional Programming, 8(6):573-619, 1998.
17. J. Jeuring, editor. Proceedings: Workshop on Generic Programming (WGP2000): July 6, 2000, Ponte de Lima, Portugal. Utrecht University, UU-CS-2000-19, 2000.
18. P. Jansson and J. Jeuring. PolyP a polytypic programming language extension. In POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470-482. ACM Press, 1997.
19. J.W. Klop. Combinatory Reduction Systems. PhD thesis, Mathematical Center Amsterdam, 1980. Tracts 129.
20. E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Procceding of the 5th ACM Conference on Functional Programming and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 12444. Springer Verlag, 1991.
21. R. Milner. A theory of type polymorphism in programming. JCSS, 17, 1978.
22. R. Milner and M. Tofte. Commentary on Standard ML. MIT Press, 1991.
23. J. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83. North Holland, 1985.