default search action
Haskell 2006: Portland, Oregon, USA
- Andres Löh:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006. ACM 2006, ISBN 1-59593-489-8
Session 1
- Stephanie Weirich:
RepLib: a library for derivable type classes. 1-12 - Deling Ren, Martin Erwig:
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. 13-24 - Alexandra Silva, Joost Visser:
Strong types for relational databases. 25-36
Session 2
- Koji Kagawa:
Polymorphic variants in Haskell. 37-47 - Dana N. Xu:
Extended static checking for haskell. 48-59 - Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty:
Running the manual: an approach to high-assurance microkernel development. 60-71 - Iavor S. Diatchki, Mark P. Jones:
Strongly typed memory areas programming systems-level data structures in a functional language. 72-83
Session 3
- Peter Thiemann:
User-level transactional programming in Haskell. 84-95 - Simon Marlow:
An extensible dynamically-typed hierarchy of exceptions. 96-106 - David Himmelstrup:
Interactive debugging with GHCi. 107 - Andy Gill:
Introducing the Haskell equational reasoning assistant. 108-109
Session 4
- Eric Kow:
GenI: natural language generation in Haskell. 110-119 - Frederik Eaton:
Statically typed linear algebra in Haskell. 120-121 - Isaac Jones:
Haskell' status report. 122
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.