Volgen
Thomas Hallgren
Thomas Hallgren
University of Gothenburg
Geverifieerd e-mailadres voor chalmers.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Fudgets: A graphical user interface in a lazy functional language
M Carlsson, T Hallgren
Proceedings of the conference on Functional programming languages and …, 1993
1601993
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
Fudgets-Purely Functional Processes with applications to Graphical User Interfaces
M Carlsson, T Hallgren
Chalmers University of Technology, 1998
671998
An extensible proof text editor
T Hallgren, A Ranta
International Conference on Logic for Programming Artificial Intelligence …, 2000
662000
Programming with fudgets
T Hallgren, M Carlsson
Advanced Functional Programming: First International Spring School on …, 1995
401995
Fun with functional dependencies
T Hallgren
Proc Joint CS/CE Winter Meeting, Chalmers Univerity, Varberg, Sweden, 2001
392001
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
352002
An overview of the Programatica toolset
T Hallgren, J Hook, MP Jones, RB Kieburtz
High Confidence Software and Systems Conference, HCSS04, 2004
262004
Haskell tools from the programatica project
T Hallgren
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 103-106, 2003
232003
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
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
A Lexer for Haskell in Haskell
T Hallgren
62002
Fudgets: Graphical User Interfaces and I/O in Lazy Functional Languages
M Carlsson, T Hallgren
Department of Computer Sciences, 1993
61993
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
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
Graphical User Interface in a Lazy Functional Language
M Carlsson, T Hallgren
Proceedings of Conference on Functional Programming Languages and Computer …, 1993
41993
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20