Personal tools

HaskellImplementorsWorkshop/2013

From HaskellWiki

< HaskellImplementorsWorkshop(Difference between revisions)
Jump to: navigation, search
m
(Programme)
Line 15: Line 15:
 
== Programme ==
 
== Programme ==
   
(Coming soon)
+
(Schedule to be determined)
   
  +
* GHC Status Update (Simon Peyton Jones)
  +
* Haskell.org Committee and Infrastructure Status Update (Gershom Bazerman)
  +
* Introducing the Core Libraries Committee (Edward Kmett)
  +
* GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day (Richard A. Eisenberg)
  +
* Resource Limits for Haskell (Edward Z. Yang)
  +
* SpecConstr: optimising purely functional loops (Amos Robinson)
  +
* Prototyping GHC Optimizations with HERMIT (Andrew Farmer and Andy Gill)
  +
* 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)
  +
* Run-time supported Haskell Serialisation - an API (Jost Berthold)
  +
  +
We'll also be having a lightning talks session.
   
 
[[Category:Community]]
 
[[Category:Community]]

Revision as of 06:27, 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.

1 Links

2 Important Dates

  • Tuesday 13th August: Talk Proposal Deadline (anywhere on earth)
  • Tuesday 27th August: Notification
  • Sunday 22th September: Workshop

3 Programme

(Schedule to be determined)

  • GHC Status Update (Simon Peyton Jones)
  • Haskell.org Committee and Infrastructure Status Update (Gershom Bazerman)
  • Introducing the Core Libraries Committee (Edward Kmett)
  • GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day (Richard A. Eisenberg)
  • Resource Limits for Haskell (Edward Z. Yang)
  • SpecConstr: optimising purely functional loops (Amos Robinson)
  • Prototyping GHC Optimizations with HERMIT (Andrew Farmer and Andy Gill)
  • 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)
  • Run-time supported Haskell Serialisation - an API (Jost Berthold)

We'll also be having a lightning talks session.