Thomas Hallgren
Thomas Hallgren
University of Gothenburg
Verified email at chalmers.se - Homepage
TitleCited byYear
Fudgets-a graphical user interface in a lazy functional language
M Carlsson, T Hallgren
1551993
A principled approach to operating system construction in Haskell
T Hallgren, MP Jones, R Leslie, A Tolmach
ACM SIGPLAN Notices 40 (9), 116-128, 2005
1022005
Fudgets-Purely Functional Processes with applications to Graphical User Interfaces
M Carlsson, T Hallgren
Chalmers University of Technology, 1998
601998
An extensible proof text editor
T Hallgren, A Ranta
International Conference on Logic for Programming Artificial Intelligence …, 2000
562000
Programming with fudgets
T Hallgren, M Carlsson
International School on Advanced Functional Programming, 137-182, 1995
411995
Fun with functional dependencies
T Hallgren
Proc Joint CS/CE Winter Meeting, Chalmers Univerity, Varberg, Sweden, 2001
372001
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
332002
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
Haskell 3, 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
132010
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
A Lexer for Haskell in Haskell
T Hallgren
72002
Fudgets: Graphical User Interfaces and I/O in Lazy Functional Languages
M Carlsson, T Hallgren
Department of Computer Sciences, 1993
71993
GF Resource Grammar Library: Synopsis
B Bringert, T Hallgren, A Ranta
52018
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
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