default search action

combined dblp search
author search
venue search
publication search

ask others

Haskell 2006: Portland, Oregon, USA

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > Haskell

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/haskell/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2006
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

- view
- export record
  dblp key:
  - conf/haskell/Weirich06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Weirich06
Stephanie Weirich:
RepLib: a library for derivable type classes. 1-12
- view
- export record
  dblp key:
  - conf/haskell/RenE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/RenE06
Deling Ren, Martin Erwig:
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. 13-24
- view
- export record
  dblp key:
  - conf/haskell/SilvaV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SilvaV06
Alexandra Silva, Joost Visser:
Strong types for relational databases. 25-36

Session 2

- view
- export record
  dblp key:
  - conf/haskell/Kagawa06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Kagawa06
Koji Kagawa:
Polymorphic variants in Haskell. 37-47
- view
- export record
  dblp key:
  - conf/haskell/Xu06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Xu06
Dana N. Xu:
Extended static checking for haskell. 48-59
- view
- export record
  dblp key:
  - conf/haskell/DerrinEKCC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/DerrinEKCC06
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty:
Running the manual: an approach to high-assurance microkernel development. 60-71
- view
- export record
  dblp key:
  - conf/haskell/DiatchkiJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/DiatchkiJ06
Iavor S. Diatchki, Mark P. Jones:
Strongly typed memory areas programming systems-level data structures in a functional language. 72-83

Session 3

- view
- export record
  dblp key:
  - conf/haskell/Thiemann06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Thiemann06
Peter Thiemann:
User-level transactional programming in Haskell. 84-95
- view
- export record
  dblp key:
  - conf/haskell/Marlow06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Marlow06
Simon Marlow:
An extensible dynamically-typed hierarchy of exceptions. 96-106
- view
- export record
  dblp key:
  - conf/haskell/Himmelstrup06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Himmelstrup06
David Himmelstrup:
Interactive debugging with GHCi. 107
- view
- export record
  dblp key:
  - conf/haskell/Gill06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Gill06
Andy Gill:
Introducing the Haskell equational reasoning assistant. 108-109

Session 4

- view
- export record
  dblp key:
  - conf/haskell/Kow06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Kow06
Eric Kow:
GenI: natural language generation in Haskell. 110-119
- view
- export record
  dblp key:
  - conf/haskell/Eaton06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Eaton06
Frederik Eaton:
Statically typed linear algebra in Haskell. 120-121
- view
- export record
  dblp key:
  - conf/haskell/Jones06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Jones06
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.