Andres Löh - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Andres Löh' as author, editor, or advisor:

Type-changing rewriting and semantics-preserving transformationSean Leather, Johan Jeuring, Andres Löh, Bram Schuur. PEPM 2014: 109-120 [doi]
Generic programming with indexed functorsAndres Löh, José Pedro Magalhães. ICFP 2011: 1-12 [doi]
NixOS: A purely functional Linux distributionEelco Dolstra, Andres Löh, Nicolas Pierron. JFP, 20(5-6):577-615, 2008. [doi]
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012Andres Löh, Ronald Garcia, editors, ACM, 2012. [doi]
Type-safe diff for families of datatypesEelco Lempsink, Sean Leather, Andres Löh. ICFP 2009: 61-72 [doi]
A Tutorial Implementation of a Dependently Typed Lambda CalculusAndres Löh, Conor McBride, Wouter Swierstra. FUIN, 102(2):177-207, 2010. [doi]
Generic storage in HaskellSebastiaan Visser, Andres Löh. ICFP 2010: 25-36 [doi]
Comparing Approaches to Generic Programming in HaskellRalf Hinze, Johan Jeuring, Andres Löh. ssdgp 2007: 72-149 [doi]
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional IncrementalizationSean Leather, Andres Löh, Johan Jeuring. IFL 2011: 159-178 [doi]
Deterministic Parallel Programming with HaskellDuncan Coutts, Andres Löh. cse, 14(6):36-43, 2012. [doi]
True sums of productsEdsko de Vries, Andres Löh. ICFP 2014: 83-94 [doi]
Staging with class: a specification for typed template HaskellNingning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang 0002. PACMPL, 6(POPL):1-30, 2022. [doi]
Staged sums of productsMatthew Pickering, Andres Löh, Nicolas Wu. haskell 2020: 122-135 [doi]
Abstract syntax graphs for domain specific languagesBruno C. D. S. Oliveira, Andres Löh. PEPM 2013: 87-96 [doi]
Exploring generic HaskellAndres Löh. Univ. Utrecht, 2004.
Dependently Typed GrammarsKasper Brink, Stefan Holdermans, Andres Löh. mpc 2010: 58-79 [doi]
The Semantics of Version ControlWouter Swierstra, Andres Löh. OOPSLA 2014: 43-54 [doi]
Generic Generic ProgrammingJosé Pedro Magalhães, Andres Löh. PADL 2014: 216-231 [doi]
PiSigma: Dependent Types without the SugarThorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury. FLOPS 2010: 40-55 [doi]
Hierarchy in Generic Programming LibrariesJosé Pedro Magalhães, Andres Löh. mpc 2015: 93-112 [doi]
Generic Programming, Now!Ralf Hinze, Andres Löh. ssdgp 2007: 150-208 [doi]
Deriving via: or, how to turn hand-written instances into an anti-patternBaldur Blöndal, Andres Löh, Ryan Scott. haskell 2018: 55-67 [doi]
Type-changing rewriting and semantics-preserving transformationSean Leather, Johan Jeuring, Andres Löh, Bram Schuur. SCP, 112:145-169, 2015. [doi]
Type-level web APIs with Servant: an exercise in domain-specific generic programmingAlp Mestanogullari, Sönke Hahn, Julian K. Arni, Andres Löh. ICFP 2015: 1-12 [doi]
A generic deriving mechanism for HaskellJosé Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh. haskell 2010: 37-48 [doi]
Optimizing Generics Is Easy!José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh. PEPM 2010:

runs on WebDSL