Andres Lh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
9
Active years
2002–2020
Best venue rank
A
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | HASKELL | Staged sums of products. | Matthew Pickering, Andres Lh, Nicolas Wu |
| 2018 | HASKELL | Deriving via: or, how to turn hand-written instances into an anti-pattern. | Baldur Blndal, Andres Lh, Ryan Scott |
| 2015 | ICFP | Type-level web APIs with Servant: an exercise in domain-specific generic programming. | Alp Mestanogullari, Snke Hahn, Julian K. Arni, Andres Lh |
| 2015 | MPC | Hierarchy in Generic Programming Libraries. | Jos Pedro Magalhes, Andres Lh |
| 2014 | EDBT | Formalizing Semantic Bidirectionalization with Dependent Types. | Helmut Grohne, Andres Lh, Janis Voigtlnder |
| 2014 | ICFP | True sums of products. | Edsko de Vries, Andres Lh |
| 2014 | OOPSLA | The Semantics of Version Control. | Wouter Swierstra, Andres Lh |
| 2014 | PADL | Generic Generic Programming. | Jos Pedro Magalhes, Andres Lh |
| 2014 | PEPM | Type-changing rewriting and semantics-preserving transformation. | Sean Leather, Johan Jeuring, Andres Lh, Bram Schuur |
| 2013 | PEPM | Abstract syntax graphs for domain specific languages. | Bruno C. d. S. Oliveira, Andres Lh |
| 2011 | ICFP | Generic programming with indexed functors. | Andres Lh, Jos Pedro Magalhes |
| 2010 | FLOPS | PiSigma: Dependent Types without the Sugar. | Thorsten Altenkirch, Nils Anders Danielsson, Andres Lh, Nicolas Oury |
| 2010 | HASKELL | A generic deriving mechanism for Haskell. | Jos Pedro Magalhes, Atze Dijkstra, Johan Jeuring, Andres Lh |
| 2010 | ICFP | Generic storage in Haskell. | Sebastiaan Visser, Andres Lh |
| 2010 | MPC | Dependently Typed Grammars. | Kasper Brink, Stefan Holdermans, Andres Lh |
| 2010 | PEPM | Optimizing generics is easy! | Jos Pedro Magalhes, Stefan Holdermans, Johan Jeuring, Andres Lh |
| 2009 | ICFP | Type-safe diff for families of datatypes. | Eelco Lempsink, Sean Leather, Andres Lh |
| 2009 | ICFP | Generic programming with fixed points for mutually recursive datatypes. | Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Lh, Johan Jeuring |
| 2008 | ICFP | Report on the tenth ICFP programming contest. | Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Lh, Clara Lh, Arie Middelkoop, Alexey Rodriguez, John van Schie |
| 2008 | ICFP | NixOS: a purely functional Linux distribution. | Eelco Dolstra, Andres Lh |
| 2006 | FLOPS | Typed Contracts for Functional Programming. | Ralf Hinze, Johan Jeuring, Andres Lh |
| 2006 | FLOPS | "Scrap Your Boilerplate" Reloaded. | Ralf Hinze, Andres Lh, Bruno C. d. S. Oliveira |
| 2006 | MPC | "Scrap Your Boilerplate" Revolutions. | Ralf Hinze, Andres Lh |
| 2006 | MPC | Generic Views on Data Types. | Stefan Holdermans, Johan Jeuring, Andres Lh, Alexey Rodriguez |
| 2006 | PPDP | Open data types and open functions. | Andres Lh, Ralf Hinze |
| 2005 | ICFP | Qualified types for MLF. | Daan Leijen, Andres Lh |
| 2003 | ICFP | Dependency-style generic Haskell. | Andres Lh, Dave Clarke, Johan Jeuring |
| 2002 | MPC | Type-Indexed Data Types. | Ralf Hinze, Johan Jeuring, Andres Lh |