Sökning: "Thomas Hallgren"

Hittade 4 avhandlingar innehållade orden Thomas Hallgren.

1. 1. Subtypes in Polymorphic Functional Languages

   Författare :Thomas Hallgren; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type systems; polymorphism; subtypes; functional languages; ML; type inference;

   Sammanfattning : This thesis is about type systems, and in particular type systems that extend or are otherwise close to the type system used in the functional language ML. ML meant a big step forward for type systems used in practical programming languages. LÄS MER

3. 2. Subtypes in polymorphic functional languages

   Författare :Thomas Hallgren; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type inference; ML; subtypes; polymorphorism; functional languages; type systems;

   Sammanfattning : .... LÄS MER

4. 3. Fudgets : graphical user interfaces and I/O in lazy functional languages

   Författare :Magnus Carlsson; Thomas Hallgren; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; graphical user interfaces; lazy functional languages; toolkits;

   Sammanfattning : .... LÄS MER

5. 4. Fudgets - Purely Functional Processes with applications to Graphical User Interfaces

   Författare :Magnus Carlsson; Thomas Hallgren; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The main result of this thesis is a method for writing programs with graphical user interfaces in purely functional languages. The method is based on a new abstraction called the fudget. The method makes good use of key abstraction powers of functional languages, such as higher order functions and parametric polymorphism. LÄS MER