ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
Latest Publications
TOTAL DOCUMENTS
14
(FIVE YEARS 0)
H-INDEX
6
(FIVE YEARS 0)
Published By ACM Press
1595934898
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
User-level transactional programming in Haskell
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159853
◽
2006
◽
Author(s):
Peter Thiemann
Download Full-text
Extended static checking for haskell
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159849
◽
2006
◽
Cited By ~ 13
Author(s):
Dana N. Xu
Keyword(s):
Static Checking
Download Full-text
An extensible dynamically-typed hierarchy of exceptions
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159854
◽
2006
◽
Cited By ~ 8
Author(s):
Simon Marlow
Download Full-text
Interactive debugging with GHCi
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159855
◽
2006
◽
Author(s):
David Himmelstrup
Download Full-text
GenI
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159858
◽
2006
◽
Cited By ~ 2
Author(s):
Eric Kow
Download Full-text
Strongly typed memory areas programming systems-level data structures in a functional language
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159851
◽
2006
◽
Cited By ~ 7
Author(s):
Iavor S. Diatchki
◽
Mark P. Jones
Keyword(s):
Data Structures
◽
Functional Language
◽
Level Data
◽
Programming Systems
Download Full-text
Running the manual
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159850
◽
2006
◽
Cited By ~ 16
Author(s):
Philip Derrin
◽
Kevin Elphinstone
◽
Gerwin Klein
◽
David Cock
◽
Manuel M. T. Chakravarty
Download Full-text
Strong types for relational databases
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159846
◽
2006
◽
Cited By ~ 3
Author(s):
Alexandra Silva
◽
Joost Visser
Keyword(s):
Relational Databases
Download Full-text
Polymorphic variants in Haskell
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159848
◽
2006
◽
Cited By ~ 2
Author(s):
Koji Kagawa
Keyword(s):
Polymorphic Variants
Download Full-text
Introducing the Haskell equational reasoning assistant
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
◽
10.1145/1159842.1159856
◽
2006
◽
Cited By ~ 11
Author(s):
Andy Gill
Keyword(s):
Equational Reasoning
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close