- Qualified Types for ML-F Daan Leijen and Andres Loh
- Extensible datatypes Andres Loh
- The Parallel GHC Project Parallel functional programming for the real world
- "Scrap Your Boilerplate" Reloaded Ralf Hinze1
- Guide2lhs2TeX (for version 1.11)
- Generic Views on Data Types Stefan Holdermans1
- We start with the module header: module Agda where
- Explicit Recursion in Generic Haskell
- Generics as a Library Bruno C. d. S. Oliveira1, Ralf Hinze2, and Andres Loh2
- Open Data Types and Open Functions Andres Loh Ralf Hinze
- [Faculty of Science Information and Computing Sciences]
- Datatype-generic Programming in Haskell An introduction
- Dec@ding style files Andres Loh
- Types Inference for Generic Haskell Alexey Rodriguez, Johan Jeuring, and Andres Loh
- Guide2lhs2TeX (for version 1.12)
- Exploring Generic Haskell Generic Haskell van alle kanten
- Qualified Types for MLF Daan Leijen Andres Loh
- Generic Views on Data Types Stefan Holdermans Johan Jeuring Andres Loh
- Haskell for EDSLs Andres Loh
- [Faculty of Science Information and Computing Sciences]
- Andres Loh Dutch HUG meeting October 12, 2009
- [Faculty of Science Information and Computing Sciences]
- [Faculty of Science Information and Computing Sciences]
- [Faculty of Science Information and Computing Sciences]
- Andres Loh joint work with Ralf Hinze
- Contracts in Trinity Andres Loh
- Open data types and open functions Andres Loh and Ralf Hinze
- "Scrap Your Boilerplate" Reloaded Ralf Hinze1 Andres Loh1 Bruno C. d. S. Oliveira2
- Open data types and open functions Andres Loh and Ralf Hinze
- Data Structures II Advanced Functional Programming
- Data Structures I Advanced Functional Programming
- Generic Haskell Universiteit Utrecht
- Dependency-style Generic Haskell
- Generic Programming Andres Loh
- SKELL, Specifically Dave Clarke and Andres Loh
- The UU AG System Programming with Functions, Aspects, Attributes, and Catamorphisms
- Typeset by FoilTEX A second prototype
- XComprez is a compressor for XML documents. It assumes the input document is valid according to a given DTD. Since the DTD is known, it is possible to use knowledge about the DTD when compressing a
- Optimizing Generics Is Easy! Jose Pedro Magalh~aes1 Stefan Holdermans1 Johan Jeuring1,2 Andres Loh1
- Generic Programming in 3D Ralf Hinze a
- A Principled Approach to Version Control Andres Loh1
- "Scrap Your Boilerplate" Revolutions Ralf Hinze1
- "Scrap Your Boilerplate" Reloaded Extended version January 22, 2006
- Guide2lhs2TeX (for version 1.15)
- Guide2lhs2TeX (for version 1.14)
- Guide2lhs2TeX (for version 1.10pre)
- NixOS: A Purely Functional Linux Distribution Eelco Dolstra
- [Faculty of Science Information and Computing Sciences]
- Guide to lhs2TEX (for version 1.17)
- [Faculty of Science Information and Computing Sciences]
- Attribute Grammars in Haskell with UUAG Andres Loh
- Generic programming with fixed points for mutually recursive datatypes
- Expanding the Universe with lots of inspiration from
- Typed Contracts for Functional Programming Ralf Hinze1
- (Chalmers). limitations
- [Faculty of Science Information and Computing Sciences]
- Dec@ding style files Ubungen Andres Loh
- Structural polymorphism in Generic Haskell Andres Loh
- Generic Storage in Haskell Sebastiaan Visser and Andres Loh
- Amber Release Andres Loh
- Guide2lhs2TeX (for version 1.16)
- [Faculty of Science Information and Computing Sciences]
- Implementing Dependent Types in Haskell Andres Loh1
- Dependencies --by case or by function? Andres Loh
- Generalizing Generic Functions Andres Loh
- Neuantrag bei der DFG auf Gewahrung einer Sachbeihilfe fur das Projekt
- Type-indexed data types Ralf Hinze1,2
- Recovering explicit recursion in Generic Haskell
- Dependently Typed Grammars Kasper Brink, Stefan Holdermans, Andres Loh
- Guide2lhs2TeX (for version 1.9)
- Generic programming with fixed points for mutually recursive datatypes
- Typesetting Haskell and more with lhs2TeX
- Dependently Typed Grammars Kasper Brink1
- Report on the Tenth ICFP Programming Contest Eelco Dolstra Jurriaan Hage Bastiaan Heeren Stefan Holdermans Johan Jeuring
- Generic Programming, Now! Ralf Hinze1
- Guide2lhs2TeX (for version 1.13)
- Typesetting Haskell and more with lhs2TeX
- Type-Safe Diff for Families of Datatypes Eelco Lempsink Sean Leather Andres Lh
