Thomas Hallgren

Hello!

Since November 2009, I work in the Center for Language Technology. What else am I doing here and what have I been up to?

2010	I teach the course Hardware Description and Verification again this year.
2009	I taught the course Hardware Description and Verification this year.
2001-2006	From July 2001 to September 2006, I worked on the Programatica Project in the PacSoft group at Oregon Graduate Institute. I have preserved my home page from my time there.
1988-2001	From 1st May 1998 to 31 June 2001, I was an assistant professor (forskningsassistent) at the Computing Science Department at Chalmers University of Technology, and before I finished my thesis (about Fudgets) I was a PhD student at the same place. I have been a member of the Functional Programming Group for a long time. I have also worked with the Programming Logic Group the on development of user interfaces for proof assistants (Alfa).

Teaching

Hardware Description and Verification, vt 09, vt 10.
Kompilatorkonstruktion, vt 00 (together with Niklas Röjemo), vt01.
E1 Datoranvändning ht 98, ht 99, (part of Introduktion till Elektroteknik).
(Given by Henrik Lindgren in ht 00. Previously held by Magnus Bondesson.)
Maskinnära programmering, ht 90, ht 91, ht 92, ht 93, ht 94.
Programmering för naturvetare, del 2, vt 90, vt 94, vt 95.
Topics in Functional Programming. Part of the Introduction to Computing Science Research course, ht 98.
D3 project proposals: ht 99 / vt 00, ht 01 / vt 02.
Supervision of projects

Research Interests

I am interested in programming language design and implementation in general, but I have spent most of my time on these things:

1987-1993	Type systems with subtypes for functional languages. This is what my Licentiate Thesis is about.
1991-1996	Graphical User Interfaces for functional languages. Magnus Carlsson and I developed Fudgets, a GUI Toolkit for the functional programming language Haskell. We wrote a joint PhD thesis about this.
1996-2001	I spent a lot of time on Alfa, a proof editor implemented using Fudgets. The most recent work was to support natural language by interfacing to Aarne Ranta's Grammatical Framework, GF.
2001-2006	I worked on the Programatica project on tools to support high-assurance programming in Haskell. I also worked on House, an operating system implemented in Haskell.

A list of publications is available.

Publications

Also available: These entries in BibTex format

Fudgets - A Graphical User Interface in a Lazy Functional Language (abstract): M. Carlsson, T. Hallgren
In FPCA '93 - Conference on Functional Programming Languages and Computer Architecture, pp. 321--330, ACM Press, June 1993.
Fudgets --- Purely Functional Processes with applications to Graphical User Interfaces: Magnus Carlsson, Thomas Hallgren
PhD Thesis, Department of Computing Science, Chalmers University of Technology, S-412 96 Göteborg, Sweden, March 1998.
The Fudgets Home Page: Thomas Hallgren, Magnus Carlsson
1997.
Programming with Fudgets (abstract): Thomas Hallgren, Magnus Carlsson
In J. Jeuring and E. Meijer, Advanced Functional Programming, pp. 137-182, Springer Verlag, LNCS 925, 1995.
Stream Processors: Concurrent Programming in Pure Functional Languages: Thomas Hallgren, Magnus Carlsson
In 7th Nordic Workshop on Programming Theory, Göteborg, November 1995.
Project report: Fun -> Fun2: T. Hallgren
Master's Thesis, Imperial College, London, U.K., 1988.
Subtypes in Polymorhic Functional Languages (abstract): Thomas Hallgren
Licentiate Thesis, Chalmers University of Technology, Göteborg, Sweden, February 1993.
Fudgets - Graphical User Interfaces and I/O in Lazy Functional Languages: M. Carlsson, T. Hallgren
Licentiate Thesis, Chalmers University of Technology, Göteborg, Sweden, May 1993.
An extensible proof text editor (abstract): Thomas Hallgren, Aarne Ranta
In Logic for Programming and Automated Reasoning (LPAR'2000), LNCS/LNAI, No. 1955, pp. 70-84, Springer Verlag, November 2000.
Fun with Functional Dependencies (abstract): Thomas Hallgren
In Proceedings of the Joint CS/CE Winter Meeting, pp. 135--145, Department of Computing Science, Chalmers, Göteborg, Sweden, January 2001.
A Formal Specification for the Haskell 98 Module System (abstract): Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
In Proceedings of ACM SIGPLAN 2002 Haskell Workshop, pp. 17--28, Pittsburgh, PA, USA, October 2002.
A Principled Approach to Operating System Construction in Haskell (abstract): Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
In Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, pp. 116--128, Tallinn, Estonia, September 2005.
Writing Systems Software in a Functional Language: An Experience Report: Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
In Proceedings of the Fourth Workshop on Programming Languages and Operating Systems, Stevenson, WA, USA, October 2007.

Software

Just for fun

Klockan