Fudgets: A graphical user interface in a lazy functional language M Carlsson, T Hallgren Proceedings of the conference on Functional programming languages and …, 1993 | 161 | 1993 |
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 | 108 | 2005 |
An extensible proof text editor T Hallgren, A Ranta International Conference on Logic for Programming Artificial Intelligence …, 2000 | 67 | 2000 |
Fudgets-Purely Functional Processes with applications to Graphical User Interfaces M Carlsson, T Hallgren Chalmers University of Technology, 1998 | 67 | 1998 |
Programming with fudgets T Hallgren, M Carlsson Advanced Functional Programming: First International Spring School on …, 1995 | 42 | 1995 |
Fun with functional dependencies T Hallgren Proc Joint CS/CE Winter Meeting, Chalmers Univerity, Varberg, Sweden, 2001 | 40 | 2001 |
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 | 37 | 2002 |
An overview of the programatica toolset T Hallgren, J Hook, MP Jones, RB Kieburtz High Confidence Software and Systems Conference, HCSS04, 2004 | 25 | 2004 |
Haskell tools from the programatica project T Hallgren Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 103-106, 2003 | 24 | 2003 |
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 | 18 | 2010 |
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 | 12 | 2001 |
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 | 6 | 2002 |
Grammar tool manual and best practices A Ranta, J Camilleri, G Détrez, R Enache, T Hallgren Technical report, MOLTO Deliverable, 2012 | 5 | 2012 |
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 | 5 | 2007 |
The proof editor Alfa T Hallgren URL: www. cs. chalmers. se/hallgren/Alfa, 1998 | 5 | 1998 |
Alfa T Hallgren | 5 | |
GF Resource Grammar Library: Synopsis B Bringert, T Hallgren, A Ranta | 4 | 2018 |
D10. 2 molto web service, first version K Angelov, O Caprotti, R Enache, T Hallgren, I Listenmaa, A Ranta, ... Project Deliverable D 10, 2010 | 4 | 2010 |