|
Conferences in DBLP
(haskell) 2005 (conf/haskell/2005)
- David Roundy
Darcs: distributed version management in haskell. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:1-4 [Conf]
- Krasimir Angelov, Simon Marlow
Visual haskell: a full-featured haskell development environment. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:5-16 [Conf]
- Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag
Haskell ready to dazzle the real world. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:17-26 [Conf]
- Don Stewart, Manuel M. T. Chakravarty
Dynamic applications from the ground up. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:27-38 [Conf]
- Niklas Broberg
Haskell server pages through dynamic loading. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:39-48 [Conf]
- Tim Harris, Simon Marlow, Simon L. Peyton Jones
Haskell on a shared-memory multiprocessor. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:49-61 [Conf]
- Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:62-73 [Conf]
- Tim Sheard
Putting curry-howard to work. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:74-85 [Conf]
- Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer
There and back again: arrows for invertible programming. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:86-97 [Conf]
- Bruno C. D. S. Oliveira, Jeremy Gibbons
TypeCase: a design pattern for type-indexed functions. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:98-109 [Conf]
- Richard S. Bird
Polymorphic string matching. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:110-115 [Conf]
- Isaac Jones
Halfs: a haskell filesystem. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:116- [Conf]
|