Følg
Andres Löh
Andres Löh
Haskell Consultant, Well-Typed LLP
Verifisert e-postadresse på well-typed.com
Tittel
Sitert av
Sitert av
År
A generic deriving mechanism for Haskell
JP Magalhães, A Dijkstra, J Jeuring, A Löh
ACM Sigplan Notices 45 (11), 37-48, 2010
1202010
NixOS: A purely functional Linux distribution
E Dolstra, A Löh
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
982008
Exploring Generic Haskell
A Löh
Utrecht University, 2004
972004
“Scrap your boilerplate” reloaded
R Hinze, A Löh, BCS Oliveira
International Symposium on Functional and Logic Programming, 13-29, 2006
922006
Open data types and open functions
A Löh, R Hinze
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
912006
Typed contracts for functional programming
R Hinze, J Jeuring, A Löh
Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006
892006
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
882009
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
782006
Comparing approaches to generic programming in Haskell
R Hinze, J Jeuring, A Löh
International Spring School on Datatype-Generic Programming, 72-149, 2006
782006
Type-indexed data types
R Hinze, J Jeuring, A Löh
Mathematics of Program Construction: 6th International Conference, MPC 2002 …, 2002
772002
Type-indexed data types
R Hinze, J Jeuring, A Löh
Science of Computer Programming 51 (1-2), 117-151, 2004
712004
Dependency-style generic haskell
A Löh, D Clarke, J Jeuring
ACM SIGPLAN Notices 38 (9), 141-152, 2003
702003
A tutorial implementation of a dependently typed lambda calculus
A Löh, C McBride, W Swierstra
Fundamenta informaticae 102 (2), 177-207, 2010
642010
Generic views on data types
S Holdermans, J Jeuring, A Löh, A Rodriguez
Mathematics of Program Construction: 8th International Conference, MPC 2006 …, 2006
612006
NixOS: A purely functional Linux distribution
E Dolstra, A Löh, N Pierron
Journal of Functional Programming 20 (5-6), 577-615, 2010
542010
Functional pearl parsing permutation phrases
AI Baars, A Löh, SD Swierstra
Journal of functional programming 14 (6), 635-646, 2004
502004
“Scrap your boilerplate” revolutions
R Hinze, A Löh
International Conference on Mathematics of Program Construction, 180-208, 2006
482006
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
472001
ΠΣ: Dependent types without the sugar
T Altenkirch, NA Danielsson, A Löh, N Oury
Functional and Logic Programming: 10th International Symposium, FLOPS 2010 …, 2010
452010
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20