A Principled Approach to Version Control (2008)
Andres Löh, Wouter Swierstra, Daan Leijen
Abstract. Version control systems are essential for managing the distributed development of large software projects. We present a formal model for reasoning about version control. In particular, we...
A tutorial implementation of a dependently-typed lambda calculus We present the type rules for a dependently-typed core calculus together with a straightforward implementation in Haskell. We...
Generic H A SKELL, SPECIFICALLY (2008)
SKELL exploits the promising new incarnation of generic programming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining...
Generic H A SKELL, SPECIFICALLY (2008)
SKELL exploits the promising new incarnation of generic programming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining...
Abstract FUNCTIONAL PEARL Parsing Permutation Phrases (2008)
Arthur Baars, Andres Löh, S. Doaitse Swierstra
A permutation phrase is a sequence of elements (possibly of different types) in which each element occurs exactly once and the order is irrelevant. Some of the permutable elements may be optional. We...
A Principled Approach to Version Control (2008)
Andres Löh, Wouter Swierstra, Daan Leijen
Abstract. Version control systems are essential for managing the distributed development of large software projects. We present a formal model for reasoning about version control. In particular, we...
Abstract Simply Easy! An Implementation of a Dependently Typed Lambda Calculus (2008)
We present an implementation in Haskell of a dependently-typed lambda calculus that can be used as the core of a programming language. We show that a dependently-typed lambda calculus is no more...
Abstract Generic Views on Data Types (2008)
Stefan Holdermans, Johan Jeuring, Andres Löh
A generic function is defined by induction on the structure of types. The structure of a data type can be defined in several ways. For example, in PolyP a pattern functor gives the structure of a...
Datatype-Generic Programming 2006 (2008)
Ralf Hinze, Johan Jeuring, Andres Löh, Ralf Hinze, Johan Jeuring, Andres Löh
www.cs.uu.nl
Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming (2008)
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, ...
Chapter 2 Comparing Approaches to Generic Programming in Haskell (2008)
Ralf Hinze, Johan Jeuring, Andres Löh
Abstract. The last decade has seen a number of approaches to datatype-generic programming: PolyP, Functorial ML, ‘Scrap Your Boilerplate’, Generic Haskell, ‘Generics for the Masses’, and so...
Generics as a Library (Extended Abstract) (2008)
Typically, a generic function is a function that is defined on the structure of data types: with a single definition, we obtain a function that works for many data types. In contrast, an ad-hoc...
Generic programming with fixed points for mutually (2008)
Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring, Alexey Rodriguez, Stefan Holdermans, ...
recursive datatypes
The Generic H A SKELL Team (2008)
Andres Löh, Johan Jeuring, Thomas Van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, ...
www.cs.uu.nl
The Generic H A SKELL User’s Guide Version 1.23 — Beryl release The Generic H A (2007)
Dave Clarke, Dæv Clarke, Johan Jeuring, Johan Jeuring, Andres Löh, Andres Löh
www.cs.uu.nl
Dæv Clarke, Johan Jeuring, Andres Löh, Skell Team
1.1 Generic programming............................. 4
Dæv Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, Skell Team
1.1 Generic programming............................. 4
Abstract FUNCTIONAL PEARL Parsing Permutation Phrases (2007)
Arthur Baars, Andres Löh, S. Doaitse Swierstra
A permutation phrase is a sequence of elements (possibly of different types) in which each element occurs exactly once and the order is irrelevant. Some of the permutable elements may be optional. We...
Haskell Communities and Activities Report (2007)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Carlos Areces, ...
You are reading the twelfth edition of the Haskell Communities and Activities Report – as always, containing entries from enthusiastic Haskellers all over the world. This edition has 138 entries,...
put-line "Hello world" (2007)
Andres Löh, Andres Löh Trinity, Andres Löh Trinity, Andres Löh Trinity, Andres Löh Trinity
interests: functional programming (Haskell), polytypic / datatype-generic programming, type systems (dependent types) Andres Löh Trinity 2 What is Trinity? Trinity is a programming language designed...
Scrap your boilerplate” reloaded (2006)
Abstract. The paper “Scrap your boilerplate ” (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, support for generic...
Scrap your boilerplate” reloaded (2006)
Abstract. The paper “Scrap your boilerplate ” (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, support for generic...
Scrap your boilerplate” revolutions (2006)
Abstract. Generic programming allows you to write a function once, and use it many times at different types. Traditionally, generic functions are defined by induction on the structure of types....
Generic views on data types (2006)
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
Abstract. A generic function is defined by induction on the structure of types. The structure of a data type can be defined in several ways. For example, in PolyP a pattern functor gives the...
Haskell Communities and Activities Report (2006)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Dmitry Astapov, ...
This is the tenth edition of the Haskell Communities and Activities Report (HCAR) – a collection of entries about everything that is going on and related to Haskell in some way that appears twice a...
Generic programming, now (2006)
Abstract. Tired of writing boilerplate code? Tired of repeating essentially the same function definition for lots of different datatypes? Datatype-generic programming promises to end these coding...
A generic function is a function that is defined on the structure of data types: with a single definition, we obtain a function that works for many data types. In contrast, an ad-hoc polymorphic...
Typed contracts for functional programming (2006)
Ralf Hinze, Johan Jeuring, Andres Löh
Abstract. A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses...
Generic views on data types (2006)
Stefan Holdermans, Stefan Holdermans, Johan Jeuring, Johan Jeuring, Andres Löh, Andres Löh, ...
Abstract. A generic function is defined by induction on the structure of types. The structure of a data type can be defined in several ways. For example, in PolyP a pattern functor gives the...
A generic function is a function that is defined on the structure of data types: with a single definition, we obtain a function that works for many data types. In contrast, an ad-hoc polymorphic...
Scrap your boilerplate” revolutions (2006)
Abstract. Generic programming allows you to write a function once, and use it many times at different types. Traditionally, generic functions are defined by induction on the structure of types....
Scrap your boilerplate” reloaded (2006)
Abstract. The paper “Scrap your boilerplate ” (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, support for generic...
Generic views on data types (2006)
Stefan Holdermans, Stefan Holdermans, Johan Jeuring, Johan Jeuring, Andres Löh, Andres Löh
www.cs.uu.nl
Comparing approaches to generic programming in Haskell (2006)
Ralf Hinze, Johan Jeuring, Andres Löh
Abstract. The last decade has seen a number of approaches to datatype-generic programming: PolyP, Functorial ML, ‘Scrap Your Boilerplate’, Generic Haskell, ‘Generics for the Masses’, etc. The...
The Generic H A SKELL Team (2006)
Andres Löh, Johan Jeuring, Alexey Rodriguez (editors, Andres Löh (editor, Johan Jeuring (editor, Alexey Rodriguez (editor, ...
www.cs.uu.nl
Typed contracts for functional programming (2006)
Ralf Hinze, Ralf Hinze, Johan Jeuring, Johan Jeuring, Andres Löh, Andres Löh
Abstract. A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses...
Qualified types for MLF (2005)
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a local type annotation is...
Type inference for generic Haskell (2005)
Alexey Rodriguez, Johan Jeuring, Andres Löh
Abstract. The more expressive a type system, the more type information has to be provided in a program. Having to provide a type is sometimes a pain, but lacking expressivity is often even worse....
The Generic Haskell User's Guide - Version 1.42 - Coral release (2005)
Andres Löh, Johan Jeuring, Andres Löh (editor, Johan Jeuring (editor, Dave Clarke, Jan De Wit, ...
Contents SKELL? 5 1.1 Generic programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 SKELL overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Installation 6 2.1...
"Scrap Your Boilerplate" Explained (2005)
The paper "Scrap your Boilerplate" (SYB) introduces a combinator library for generic programming that o#ers generic traversals and queries. Classically, support for generic programming...
Type inference for generic Haskell (2005)
Alexey Rodriguez, Johan Jeuring, Andres Löh, Alexey Rodriguez, Johan Jeuring, Andres Löh
Abstract. The more expressive a type system, the more type information has to be provided in a program. Having to provide a type is sometimes a pain, but lacking expressivity is often even worse....
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Alistair Bayley, ...
Finally, here is the 9th edition of the Haskell Communities and Activities Report (HCAR), almost three weeks after the submission deadline. This delay is entirely my own fault. In fact, I have to...
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, ...
You are reading the 8th edition of the Haskell Communities and Activities Report (HCAR). These are interesting times to be a Haskell enthusiast. Everyone seems to be talking about darcs ( → 6.3)...
Haskell Communities and Activities Report (2004)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Krasimir Angelov, Alistair Bayley, Jérémy Bobbio, ...
Welcome to the Seventh edition of the Haskell Communities and Activities report. I can proudly announce that the report has survived yet another change of editor, and chances are good that this...
Exploring Generic Haskell (2003)
Andres Löh, Andres Löh, Dave Clarke, Dave Clarke, Johan Jeuring, Johan Jeuring
Generic Haskell is an extension of Haskell that supports the construction of generic programs. During the development of several applications, such as an XML editor and compressor, we encountered a...
Dependency-style Generic Haskell (2003)
Andres Loh, Andres Löh, Dave Clarke, Johan Jeuring
Generic Haskell is an extension of Haskell that supports the construction of generic programs. During the development of several applications, such as an XML editor and compressor, we encountered a...
Type-indexed data types (2002)
Ralf Hinze, Johan Jeuring, Andres Löh
Abstract. A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be...
Type-Indexed Data Types (2001)
Ralf Hinze Johan, Johan Jeuring, Andres Löh
A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in...
Dynamic www structures in 3d (2000)
Ulrik Brandes, Vanessa Kääb, Andres Löh, Dorothea Wagner, Thomas Willhalm
We describe a method for three-dimensional straight-line representation of dynamic directed graphs (such as parts of the World Wide Web). It has been developed on the occasion of the 1998 Graph...