Polytypic programming with ease

zbMATH Open0971.68020MaRDI QIDQ2726288

Ralf Hinze

Publication date: 31 July 2001

Published in: The Journal of Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-01/S01-01.html

zbMATH Keywords

polytypic extension of functional programming languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Related Items (2)

Title not available (Why is that?) ⋮ A formalized general theory of syntax with bindings: extended version

This page was built for publication: Polytypic programming with ease

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2726288)