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 Observational Equality, Now! (2008)
Thorsten Altenkirch, Conor Mcbride, Wouter Swierstra
This paper has something new and positive to say about propositional equality in programming and proof systems based on the Curry-Howard correspondence between propositions and types. We have found a...
Dependent Types for Distributed Arrays (2008)
Wouter Swierstra, Thorsten Altenkirch
Abstract. Locality-aware algorithms over distributed arrays can be very difficult to write. Yet such algorithms are becoming more and more important as desktop machines boast more and more...
Chapter 1 Dependent Types for Distributed Arrays (2008)
Wouter Swierstra, Thorsten Altenkirch
Abstract: Locality-aware algorithms over distributed arrays can be very difficult to write. Yet such algorithms are becoming more and more important as desktop machines boast more and more...
A Recipe for controlling Lego using Lava 5 (2008)
Duncan Coutts, Dimitry Golubovsky, Neil Mitchell, Matthew Naylor, Wouter Swierstra, Wouter Swierstra
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...
Getting a Fix from the Right Fold 5 (2008)
Bernie Pope, Dan Piponi, Wouter Swierstra, Wouter Swierstra, Bernie Pope, Dan Piponi
This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a...
Abstract Observational Equality, Now! (2008)
Thorsten Altenkirch, Conor Mcbride, Wouter Swierstra
This paper has something new and positive to say about propositional equality in programming and proof systems based on the Curry-Howard correspondence between propositions and types. We have found a...
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,...
Haskell Communities and Activities Report (2006)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Dmitry Astapov, ...
Welcome to the eleventh edition of the Haskell Communities and Activities Report – a collection of entries about everything that is going on and related to Haskell in some way that appears twice a...
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...
A functional quantum programming language (2005)
Jonathan James Grattage, James Chapman, Alex Green, Mark Jago, Wouter Swierstra, Mauro Jaskelioff
This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible...
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...