CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Software Engineering using Typed Functional Programming

Jean-Philippe Bernardy (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Göteborg : Chalmers University of Technology, 2009. - 110 s.

This thesis makes three distinct contributions to software engineering, using typed functional programming. First, we present a schema to reduce polymorphic properties to an equivalent monomorphic property, for the purpose of testing. Our proof uses parametricity and properties of initial algebras. Second, we compare haskell type classes with their counterpart in C++. We contribute to an improved understanding of language support for generic programming, and hope to facilitate discussion between maintsream and functional programming language communities. Third, we present a parsing library for incremental analysis of source code. This is an example of a non-trivial application of the principles of typed functional programming and lazy evaluation.

Nyckelord: functional programming types polymorphism type-classes

Denna post skapades 2009-09-18. Senast ändrad 2009-10-12.
CPL Pubid: 98258


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)



Chalmers infrastruktur

Relaterade publikationer

Inkluderade delarbeten:

A comparison of C++ concepts and Haskell type classes

Yi - An Editor in Haskell for Haskell


Datum: 2009-11-09
Tid: 10:15
Lokal: Chalmers university of Technology, lecture hall HA4 (hörsalvägen 4)
Opponent: Ross Paterson

Ingår i serie

Technical report L - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University 62L