Difference between revisions of "HaskellImplementorsWorkshop/2013"
Jump to navigation
Jump to search
(→Programme: linkify) |
|||
Line 18: | Line 18: | ||
* GHC Status Update (Simon Peyton Jones) |
* GHC Status Update (Simon Peyton Jones) |
||
− | * Haskell.org Committee and Infrastructure Status Update (Gershom Bazerman) |
+ | * [[HaskellImplementorsWorkshop/2013/Bazerman Haskell.org Committee and Infrastructure Status Update]] (Gershom Bazerman) |
− | * Introducing the Core Libraries Committee (Edward Kmett) |
+ | * [[HaskellImplementorsWorkshop/2013/Kmett Introducing the Core Libraries Committee]] (Edward Kmett) |
− | * GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day (Richard A. Eisenberg) |
+ | * [[HaskellImplementorsWorkshop/2013/Eisenberg GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day]] (Richard A. Eisenberg) |
− | * Resource Limits for Haskell (Edward Z. Yang) |
+ | * [[HaskellImplementorsWorkshop/2013/Yang Resource Limits for Haskell]] (Edward Z. Yang) |
− | * SpecConstr: optimising purely functional loops (Amos Robinson) |
+ | * [[HaskellImplementorsWorkshop/2013/Robinson SpecConstr: optimising purely functional loops]] (Amos Robinson) |
− | * Prototyping GHC Optimizations with HERMIT (Andrew Farmer and Andy Gill) |
+ | * [[HaskellImplementorsWorkshop/2013/Farmer Prototyping GHC Optimizations with HERMIT]] (Andrew Farmer and Andy Gill) |
− | * Inhabiting Habit: An Introduction to the Habit Compiler (Mark Jones) |
+ | * [[HaskellImplementorsWorkshop/2013/Jones Inhabiting Habit: An Introduction to the Habit Compiler]] (Mark Jones) |
− | * Optimizing "Scrap Your Boilerplate" with HERMIT (Michael D. Adams, Andrew Farmer and José Pedro Magalhães) |
+ | * [[HaskellImplementorsWorkshop/2013/Adams Optimizing "Scrap Your Boilerplate" with HERMIT]] (Michael D. Adams, Andrew Farmer and José Pedro Magalhães) |
− | * Run-time supported Haskell Serialisation - an API (Jost Berthold) |
+ | * [[HaskellImplementorsWorkshop/2013/Berthold Run-time supported Haskell Serialisation]] - an API (Jost Berthold) |
We'll also be having a lightning talks session. |
We'll also be having a lightning talks session. |
Revision as of 06:30, 16 September 2013
The Haskell Implementors Workshop is an informal affair, aimed at bringing together people behind the Haskell infrastructure. It provides a forum where people working on compilers, tools, or libraries for Haskell development can bat around ideas, share experiences and ask for feedback from fellow experts. There are no proceedings, just a mixture of short talks, longer talks, discussion and demos.
The Haskell Implementors Workshop will run again this year, co-located with ICFP 2013 in Boston.
Links
Important Dates
- Tuesday 13th August: Talk Proposal Deadline (anywhere on earth)
- Tuesday 27th August: Notification
- Sunday 22th September: Workshop
Programme
(Schedule to be determined)
- GHC Status Update (Simon Peyton Jones)
- HaskellImplementorsWorkshop/2013/Bazerman Haskell.org Committee and Infrastructure Status Update (Gershom Bazerman)
- HaskellImplementorsWorkshop/2013/Kmett Introducing the Core Libraries Committee (Edward Kmett)
- HaskellImplementorsWorkshop/2013/Eisenberg GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day (Richard A. Eisenberg)
- HaskellImplementorsWorkshop/2013/Yang Resource Limits for Haskell (Edward Z. Yang)
- HaskellImplementorsWorkshop/2013/Robinson SpecConstr: optimising purely functional loops (Amos Robinson)
- HaskellImplementorsWorkshop/2013/Farmer Prototyping GHC Optimizations with HERMIT (Andrew Farmer and Andy Gill)
- HaskellImplementorsWorkshop/2013/Jones Inhabiting Habit: An Introduction to the Habit Compiler (Mark Jones)
- HaskellImplementorsWorkshop/2013/Adams Optimizing "Scrap Your Boilerplate" with HERMIT (Michael D. Adams, Andrew Farmer and José Pedro Magalhães)
- HaskellImplementorsWorkshop/2013/Berthold Run-time supported Haskell Serialisation - an API (Jost Berthold)
We'll also be having a lightning talks session.