Andres Löh - RankMe

47 papers A 5B 5C 7Misc 3Journal 10Unranked 15

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
2021	J	`jnl`	A Specification for Typed Template Haskell. CoRR Matthew Pickering, Andres Löh, Nicolas Wu
2020	—	`conf`	Staged sums of products. Haskell@ICFP Matthew Pickering, Andres Löh, Nicolas Wu
2018	—	`conf`	Deriving via: or, how to turn hand-written instances into an anti-pattern. Haskell@ICFP Baldur Blöndal, Andres Löh, Ryan Scott
2015	B	`conf`	Hierarchy in Generic Programming Libraries. MPC José Pedro Magalhães, Andres Löh
2015	J	`jnl`	Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
2015	—	`conf`	Type-level web APIs with Servant: an exercise in domain-specific generic programming. WGP@ICFP Alp Mestanogullari, Sönke Hahn, Julian K. Arni, Andres Löh
2014	—	`conf`	Formalizing Semantic Bidirectionalization with Dependent Types. EDBT/ICDT Workshops Helmut Grohne, Andres Löh, Janis Voigtländer
2014	C	`conf`	Generic Generic Programming. PADL José Pedro Magalhães, Andres Löh
2014	—	`conf`	The Semantics of Version Control. Onward! Wouter Swierstra, Andres Löh
2014	—	`conf`	True sums of products. WGP@ICFP Edsko de Vries, Andres Löh
2014	C	`conf`	Type-changing rewriting and semantics-preserving transformation. PEPM Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
2013	C	`conf`	Abstract syntax graphs for domain specific languages. PEPM Bruno C. d. S. Oliveira, Andres Löh
2012	—	`conf`	A Formal Comparison of Approaches to Datatype-Generic Programming MSFP José Pedro Magalhães, Andres Löh
2012	J	`jnl`	Deterministic Parallel Programming with Haskell. Comput. Sci. Eng. Duncan Coutts, Andres Löh
2012	—	`ed.`	Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012 WGP@ICFP Andres Löh, Ronald Garcia
2011	—	`conf`	Generic programming with indexed functors. WGP@ICFP Andres Löh, José Pedro Magalhães
2010	J	`jnl`	A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae Andres Löh, Conor McBride, Wouter Swierstra
2010	C	`conf`	A generic deriving mechanism for Haskell. Haskell José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
2010	B	`conf`	Dependently Typed Grammars. MPC Kasper Brink, Stefan Holdermans, Andres Löh
2010	—	`conf`	Generic storage in Haskell. ICFP-WGP Sebastiaan Visser, Andres Löh
2010	J	`jnl`	NixOS: A purely functional Linux distribution. J. Funct. Program. Eelco Dolstra, Andres Löh, Nicolas Pierron
2010	C	`conf`	Optimizing generics is easy! PEPM José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
2010	Misc	`conf`	PiSigma: Dependent Types without the Sugar. FLOPS Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury
2009	J	`jnl`	Generic programming in 3D. Sci. Comput. Program. Ralf Hinze, Andres Löh
2009	A	`conf`	Generic programming with fixed points for mutually recursive datatypes. ICFP Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
2009	—	`conf`	Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL Sean Leather, Andres Löh, Johan Jeuring
2009	—	`conf`	Type-safe diff for families of datatypes. WGP@ICFP Eelco Lempsink, Sean Leather, Andres Löh
2008	A	`conf`	NixOS: a purely functional Linux distribution. ICFP Eelco Dolstra, Andres Löh
2008	A	`conf`	Report on the tenth ICFP programming contest. ICFP Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
2006	Misc	`conf`	"Scrap Your Boilerplate" Reloaded. FLOPS Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
2006	B	`conf`	"Scrap Your Boilerplate" Revolutions. MPC Ralf Hinze, Andres Löh
2006	—	`conf`	Comparing Approaches to Generic Programming in Haskell. SSDGP Ralf Hinze, Johan Jeuring, Andres Löh
2006	—	`conf`	Extensible and modular generics for the masses. Trends in Functional Programming Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh
2006	—	`conf`	Generic Programming, Now! SSDGP Ralf Hinze, Andres Löh
2006	B	`conf`	Generic Views on Data Types. MPC Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
2006	C	`conf`	Open data types and open functions. PPDP Andres Löh, Ralf Hinze
2006	C	`ed.`	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006 Haskell Andres Löh
2006	Misc	`conf`	Typed Contracts for Functional Programming. FLOPS Ralf Hinze, Johan Jeuring, Andres Löh
2005	A	`conf`	Qualified types for MLF. ICFP Daan Leijen, Andres Löh
2004	—	`book`	Exploring generic Haskell. Andres Löh
2004	J	`jnl`	Parsing permutation phrases. J. Funct. Program. Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
2004	J	`jnl`	Type-indexed data types. Sci. Comput. Program. Ralf Hinze, Johan Jeuring, Andres Löh
2003	A	`conf`	Dependency-style generic Haskell. ICFP Andres Löh, Dave Clarke, Johan Jeuring
2002	—	`conf`	Generic Haskell, Specifically. Generic Programming Dave Clarke, Andres Löh
2002	B	`conf`	Type-Indexed Data Types. MPC Ralf Hinze, Johan Jeuring, Andres Löh
2000	J	`jnl`	Dynamic WWW Structures in 3D. J. Graph Algorithms Appl. Ulrik Brandes, Vanessa Kääb, Andres Löh, Dorothea Wagner, Thomas Willhalm