Search for dissertations about: "polytypic programming"

Found 3 swedish dissertations containing the words polytypic programming.

2. 1. Functional Polytypic Programming

   Author : Patrik Jansson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; algebraic datatypes; functional programming; programming languages; polytypic programming; generic programming;

   Abstract : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. READ MORE

4. 2. Functional Polytypic Programming --- Use and Implementation

   Author : Patrik Jansson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Functional programming; Algebraic datatypes; Generic programming; Polytypic programming; Programming languages;

   Abstract : Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, pattern matchers, equality functions, unifiers, rewriting functions, etc. READ MORE

5. 3. Implementing Functional Generic Programming

   Author : Ulf Norell; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Functional generic programming extends functional programming with the ability to parameterize functions on the structure of a datatype. This allows a programmer to implement certain algorithms once and for all, instead of re-implementing them for each datatype they apply to. READ MORE