Site Map: Patrik Jansson

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.

julia/: Julia Janssons hemsida

Home page for Julia Jansson, the daughter of Patrik Jansson and Tünde Fülöp.

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 page was generated 030314 by "sitemap", written by Eric S. Raymond <esr@thyrsus.com>, personalized by Patrik Jansson .