Haskell Symposium 2009
Edinburgh, ScotlandThursday, 3 September, 2009
|
Haskell Symposium 2009
Edinburgh, Scotland |
|
| Session
1 Session chair: Janis Voigtlaender |
|
| 9:00 |
Welcome |
| 9:10 |
Types Are Calling Conventions |
| Max Bolingbroke and Simon Peyton Jones | |
| 9:35 |
Losing Functions Without Gaining Data - Another Look at Defunctionalisation |
| Neil Mitchell and Colin Runciman | |
| 10:00 |
Coffee Break |
| Session
2 Session Chair: Jeremy Gibbons |
|
| 10:30 |
Push-pull Functional Reactive Programming |
| Conal Elliott | |
| 10:55 |
Unembedding Domain-specific Languages |
| Robert Atkey, Sam Lindley and Jeremy Yallop | |
| 11:20 |
A Compositional Theory for STM Haskell |
| Johannes Borgstrom, Karthikeyan Bhargavan and Andrew D Gordon | |
| 11:45 |
Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience |
| Lee Pike, Geoffrey Brown and Alwyn Goodloe | |
| 12:00 |
Lunch |
| Session
3 Session Chair: Simon Marlow |
|
| 13:30 |
Lazy Functional Incremental Parsing |
| Jean-Philippe Bernardy | |
| 13:55 |
Alloy: Fast Generic Transformations for Haskell |
| Neil Brown and Adam Sampson | |
| 14:20 |
The Architectures of The Utrecht Haskell Compiler |
| Atze Dijkstra, Jeroen Fokker and Doaitse Swierstra | |
| 14:45 |
Tool Demonstration: CLasH: From Haskell to Hardware |
| Christiaan Baaij, Matthijs
Kooijman, Jan Kuper, Marco Gerards and Bert Molenkamp |
|
| 15:00 |
Coffee Break |
| Session
4 Session Chair: Mark P. Jones |
|
| 15:30 |
Parallel Performance Tuning for Haskell |
| Don Jones Jr, Simon Marlow and Satnam Singh | |
| 15:55 |
Type-Safe Observable Sharing in Haskell |
| Andy Gill | |
| 16:20 |
Finding the needle: Stack Traces for GHC |
| Tristan Allwood, Simon Peyton-Jones and Susan Eisenbach | |
| 16:45 |
Short Break |
| Session
5 |
|
| 17:00 |
Discussion on The Future of
Haskell |
| 17:45 |
End |