Thomas Hallgren

From July 5, 2001 to September 30, 2006, I was a Senior Research Associate at OGI. My primary responsibility was to support the Programatica project.

Before that, I worked at the Computing Science Department at Chalmers University of Technology. My Chalmers home page describes my activities there. I returned to Chalmers in November 2009.

• House. An embryonic operating system in Haskell.
• Haskell Tools from the Programatica Project. Downloads, source code, documentation.
• Some software packages (e.g. recent snapshots of Fudgets and Alfa).
• hsutils (= stripcomments + layout)

Peek and Poke with Dependent Types

Programatica meeting talk, January 27, 2006.

A Principled Approach to Operating System Construction in Haskell

A paper presented at ICFP 2005.

Command-line Parsing Combinators

Half-baked talk, February 11, 2005.

2004 Haskell Workshop

I was a member of the programme committee. Workshop Program.

Cactus.

Tuesday Seminar, 10 June, 2003.

Highlights from the Workshop on Termination and Type Theory,

Tuesday Seminar, 10 December, 2002.

The 2002 ICFP Programming Contest.

A Formal Specification of the Haskell 98 Module System,

2002 Haskell Workshop.

A Lexer for Haskell in Haskell,

presented at the Haskell Implementers Meeting, 14 January, 2002.

• Alfa, the proof editor I worked for some time.
• Fudgets (wikipedia entry), the GUI library for Haskell that Magnus Carlsson and I developed in the early 1990s.
• Thomas Hallgren at Chalmers.
• Thomas Hallgren at PSU.
• Thomas Hallgren at home.