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
1551993
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
1032005
Fudgets-Purely Functional Processes with applications to Graphical User Interfaces
M Carlsson, T Hallgren
Chalmers University of Technology, 1998
611998
An extensible proof text editor
T Hallgren, A Ranta
International Conference on Logic for Programming Artificial Intelligence …, 2000
582000
Programming with fudgets
T Hallgren, M Carlsson
International School on Advanced Functional Programming, 137-182, 1995
421995
Fun with functional dependencies
T Hallgren
Proc Joint CS/CE Winter Meeting, Chalmers Univerity, Varberg, Sweden, 2001
382001
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
322002
An overview of the programatica toolset
T Hallgren, J Hook, MP Jones, RB Kieburtz
High Confidence Software and Systems Conference, HCSS04, 2004
232004
Haskell tools from the programatica project
T Hallgren
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 103-106, 2003
222003
Home Page of the Proof Editor Alfa
T Hallgren
URL: www. cs. chalmers. se/~ hallgren/Alfa, 2003
21*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
142010
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
112001
Fudgets: Graphical User Interfaces and I/O in Lazy Functional Languages
M Carlsson, T Hallgren
Department of Computer Sciences, 1993
71993
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
62007
A Lexer for Haskell in Haskell
T Hallgren
62002
GF Resource Grammar Library: Synopsis
B Bringert, T Hallgren, A Ranta
52018
The proof editor Alfa
T Hallgren
URL: www. cs. chalmers. se/hallgren/Alfa, 1998
51998
D10. 2 molto web service, first version
K Angelov, O Caprotti, R Enache, T Hallgren, I Listenmaa, A Ranta, ...
Project Deliverable D 10, 2010
32010
Cross-Lingual Syntax: Relating Grammatical Framework with Universal Dependencies
A Ranta, P Kolachina, T Hallgren
Proceedings of the 21st Nordic Conference on Computational Linguistics, 322-325, 2017
22017
Grammar Tools and Best Practices
T Hallgren, A Ranta, J Camilleri, G Détrez, R Enache
22012
The system can't perform the operation now. Try again later.
Articles 1–20