Follow
Thomas Hallgren
Thomas Hallgren
University of Gothenburg
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
Fudgets: A graphical user interface in a lazy functional language
M Carlsson, T Hallgren
Proceedings of the conference on Functional programming languages and …, 1993
1611993
A principled approach to operating system construction in Haskell
T Hallgren, MP Jones, R Leslie, A Tolmach
Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005
1082005
An extensible proof text editor
T Hallgren, A Ranta
International Conference on Logic for Programming Artificial Intelligence …, 2000
672000
Fudgets-Purely Functional Processes with applications to Graphical User Interfaces
M Carlsson, T Hallgren
Chalmers University of Technology, 1998
671998
Programming with fudgets
T Hallgren, M Carlsson
Advanced Functional Programming: First International Spring School on …, 1995
421995
Fun with functional dependencies
T Hallgren
Proc Joint CS/CE Winter Meeting, Chalmers Univerity, Varberg, Sweden, 2001
402001
A formal specification of the Haskell 98 module system
IS Diatchki, MP Jones, T Hallgren
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 17-28, 2002
372002
An overview of the programatica toolset
T Hallgren, J Hook, MP Jones, RB Kieburtz
High Confidence Software and Systems Conference, HCSS04, 2004
252004
Haskell tools from the programatica project
T Hallgren
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 103-106, 2003
242003
Home Page of the Proof Editor Alfa
T Hallgren
URL: www. cs. chalmers. se/~ hallgren/Alfa, 2003
22*2003
Tools for multilingual grammar-based translation on the web
A Ranta, K Angelov, T Hallgren
Proceedings of the ACL 2010 System Demonstrations, 66-71, 2010
182010
Fun with functional dependencies or (draft) types as values in static computations in haskell
T Hallgren
Proc. of the Joint CS/CE Winter Meeting, 2001
122001
Fudgets: Graphical User Interfaces and I/O in Lazy Functional Languages
M Carlsson, T Hallgren
Department of Computer Sciences, 1993
7*1993
A Lexer for Haskell in Haskell
T Hallgren
62002
Grammar tool manual and best practices
A Ranta, J Camilleri, G Détrez, R Enache, T Hallgren
Technical report, MOLTO Deliverable, 2012
52012
Writing systems software in a functional language: an experience report
IS Diatchki, T Hallgren, MP Jones, R Leslie, A Tolmach
Proceedings of the 4th workshop on Programming languages and operating …, 2007
52007
The proof editor Alfa
T Hallgren
URL: www. cs. chalmers. se/hallgren/Alfa, 1998
51998
Alfa
T Hallgren
5
GF Resource Grammar Library: Synopsis
B Bringert, T Hallgren, A Ranta
42018
D10. 2 molto web service, first version
K Angelov, O Caprotti, R Enache, T Hallgren, I Listenmaa, A Ranta, ...
Project Deliverable D 10, 2010
42010
The system can't perform the operation now. Try again later.
Articles 1–20