Follow
Andres Löh
Andres Löh
Haskell Consultant, Well-Typed LLP
Verified email at well-typed.com
Title
Cited by
Cited by
Year
A generic deriving mechanism for Haskell
JP Magalhaes, A Dijkstra, J Jeuring, A Löh
ACM Sigplan Notices 45 (11), 37-48, 2010
1182010
Generic programming with fixed points for mutually recursive datatypes
AR Yakushev, S Holdermans, A Löh, J Jeuring
ACM Sigplan Notices 44 (9), 233-244, 2009
1022009
Exploring Generic Haskell
A Löh
Utrecht University, 2004
922004
“Scrap your boilerplate” reloaded
R Hinze, A Löh, BCS Oliveira
Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006
882006
Typed contracts for functional programming
R Hinze, J Jeuring, A Löh
Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006
882006
Open data types and open functions
A Löh, R Hinze
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
862006
NixOS: A purely functional Linux distribution
E Dolstra, A Löh
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
812008
Generic H∀ SKELL, Specifically
D Clarke, A Löh
Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003
802003
Generics for the masses
R Hinze
Journal of functional programming 16 (4-5), 451-483, 2006
792006
Type-indexed data types
R Hinze, J Jeuring, A Löh
Mathematics of Program Construction: 6th International Conference, MPC 2002 …, 2002
752002
Comparing approaches to generic programming in Haskell
R Hinze, J Jeuring, A Löh
International Spring School on Datatype-Generic Programming, 72-149, 2006
732006
Type-indexed data types
R Hinze, J Jeuring, A Löh
Science of Computer Programming 51 (1-2), 117-151, 2004
692004
Dependency-style generic haskell
A Löh, D Clarke, J Jeuring
ACM SIGPLAN Notices 38 (9), 141-152, 2003
692003
A tutorial implementation of a dependently typed lambda calculus
A Löh, C McBride, W Swierstra
Fundamenta informaticae 102 (2), 177-207, 2010
602010
Generic views on data types
S Holdermans, J Jeuring, A Löh, A Rodriguez
Mathematics of Program Construction: 8th International Conference, MPC 2006 …, 2006
592006
“Scrap your boilerplate” revolutions
R Hinze, A Löh
International Conference on Mathematics of Program Construction, 180-208, 2006
482006
Functional pearl parsing permutation phrases
AI Baars, A Löh, SD Swierstra
Journal of functional programming 14 (6), 635-646, 2004
462004
The Generic Haskell user’s guide
D Clarke, R Hinze, J Jeuring, A Löh, J de Wit
Technical Report UU-CS-2001-26, Utrecht University, 2001
462001
NixOS: A purely functional Linux distribution
E Dolstra, A Löh, N Pierron
Journal of Functional Programming 20 (5-6), 577-615, 2010
442010
ΠΣ: Dependent types without the sugar
T Altenkirch, NA Danielsson, A Löh, N Oury
Functional and Logic Programming: 10th International Symposium, FLOPS 2010 …, 2010
432010
The system can't perform the operation now. Try again later.
Articles 1–20