[ .personligt/
adr/
cv/
kurser/
lic/
papers/
poly/
resor/
start/
teaching/
]
030314
- index.html: Patrik Jansson
- Workpage for Patrik Jansson, Computing Science,
Chalmers, Sweden
- .personligt/: Personal information (Patrik Jansson)
- Personal information about Patrik Jansson,
his family and friends - with pictures.
Mainly in swedish.
- adr/: Contact information for Patrik Jansson
- My real and virtual coordinates.
- cv/: Curriculum Vitae for Patrik Jansson
- My academic career history.
- kurser/: Doktorandkurser
- Info about some Ph.D. courses I have taken.
- lic/: Functional Polytypic Programming
- Licentiate thesis in Computing Science, Chalmers, Sweden.
The full thesis text, the references and an implementation
of a PolyP compiler.
- papers/: Publications and implementations - Patrik Jansson
- A number of papers on polytypic programming with links
to implementations.
- poly/: Polytypic programming at Chalmers
- Polytypic programming research at Chalmers: exploring
polytypic functional programming with PolyP - an
implementation of a polytypic extension of the
functional programming language Haskell.
- resor/: Patrik Jansson: travel
- Travelpage for Patrik Jansson, Computing Science,
Chalmers, Sweden
- start/: Patrik Jansson startpage
- My favourite shortcuts, search engines etc.
- teaching/: Teaching
- Teaching programming to undergraduates. Mainly Ada.
- .personligt/mozambique/: Ralf och Gunilla Jansson i Moçambique
- Personal information about Ralf and Gunilla Jansson,
and their two year stay in Moçambique. In swedish.
- .personligt/ragu/: Ralf och Gunilla Jansson
- Personal information (in swedish) about Ralf Jansson
and Gunilla Jansson.
- .personligt/ulrika/: Ulrika Jansson
- Personlig information om Ulrika Jansson
- kurser/info/: Doktorandkursen i informationssökning VT 1997
- Redovisning av doktorandkursen i
informationssökning VT 1997.
- poly/afp96/: Polytypic Programming
- Lecture notes on Polytypic Programming by
Patrik Jansson and Johan Jeuring. Abstract
and full text from AFP'96.
- poly/afp98/: Generic Programming - An Introduction
- Lecture notes on Generic Programming by
Roland Backhouse,
Patrik Jansson,
Johan Jeuring and
Lambert Meertens.
Abstract and full text from AFP'98.
- poly/dataconv/: Polytypic Data Conversion Programs
- Paper about polytypic data conversion programs, like
read, show, pack, unpack, separate and combine.
Patrik Jansson and Johan Jeuring.
- poly/dc/: Polytypic Compact Printing and Parsing
- A generic algorithm for compactly representing structured data
is presented together with a parser and a correctness proof.
- poly/polylib/: PolyLib -- a library of polytypic functions
- Generic utility functions written in the
Haskell extension PolyP.
- poly/polyp1.5/: PolyP - a polytypic programming language
- PolyP is a polytypic language extension and a compiler
that takes polytypic Haskell programs to plain Haskell.
The distribution contains the source code of the
compiler and a library of polytypic functions.
- poly/polypPOPL97/: PolyP - a polytypic programming language extension
- A POPL'97 paper about the theory and an implementation
of polytypic programming. Patrik Jansson and Johan Jeuring.
- poly/polythesis/: Functional Polytypic Programming
- PhD thesis in Computing Science, Chalmers, Sweden.
- poly/ppm/: Polytypic Pattern Matching
- A polytypic algorithm for pattern matching. Johan Jeuring.
- poly/unify/: Polytypic unification
- Abstract, paper and implementation of the JFP'98
functional pearl Polytypic unification by
Patrik Jansson and Johan Jeuring.
- .personligt/hudiksvall/adresser.html: Hudiksvallsrelaterade adresser
- Links to information about
Hudiksvall, a small town in the middle of the east coast
of Sweden. Mainly in swedish.
- poly/polyp1.5/polylib/: PolyLib - a library of polytypic functions
- PolyLib contains basic polytypic building blocks to be used
when programming in the Haskell extension PolyP.
It contains definitions for generic versions of sum,
size, map, zip and many other useful functions.
- poly/unify/PolyPUnification/: Polytypic Unification: Accompanying material
- Program code accompanying the
JFP Functional Pearl: Polytypic Unification, 1998.
- poly/unify/PolyPUnification/polyp/: PolyP - a polytypic programming language
- PolyP is a polytypic language extension and a compiler
that takes polytypic Haskell programs to plain Haskell.
The distribution contains the source code of the
compiler and a library of polytypic functions.
This is an index automatically generated from meta tags
present in each of the pages. Top-level pages are listed
first.
This page was generated 030314
by "sitemap", written by Eric S. Raymond
<esr@thyrsus.com>,
personalized
by Patrik Jansson
.
Patrik Jansson
<NOpatrikjSP@AMchalmers.se>