Skip to content

Latest commit

 

History

History
100 lines (78 loc) · 4.75 KB

README.md

File metadata and controls

100 lines (78 loc) · 4.75 KB
Raw

Haskell 2014 accepted papers

Links to accepted papers for the 2014 ACM SIGPLAN Haskell Symposium (Haskell 2014). (You may also be interested in ICFP 2014 accepted papers.)

Status of links at last commit: Build Status

  • Keynote: UniKernels: Functional Operating System Design
    (video) (video of discussion)
    by Anil Madhavapeddy

  • Keynote: Interleaving Data and Effects
    (video)
    by Patricia Johann

  • PC Chair Report & Future of Haskell discussion
    (video)
    by Wouter Swierstra

  • Experience Report: The Next 1100 Haskell Programmers
    (paper) (video)
    by Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski and Dmitriy Traytel.

  • Experience Report: Type-checking Polymorphic Units for Astrophysics Research in Haskell
    (paper) (video)
    by Takayuki Muranushi and Richard A. Eisenberg.

  • A Simple Semantics for Haskell Overloading
    (paper) (video)
    by J. Garrett Morris.

  • Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
    (paper) (video)
    by Atze van der Ploeg and Oleg Kiselyov.

  • A seamless, client-centric programming model for type safe web applications
    (paper) (video)
    by Anton Ekblad and Koen Claessen.

  • Effect Handlers in Scope
    (paper) (video)
    by Nicolas Wu, Tom Schrijvers and Ralf Hinze.

  • Embedding effect systems in Haskell
    (paper) (video)
    by Dominic Orchard and Tomas Petricek.

  • Promoting Functions to Type Families in Haskell
    (paper) (extended paper) (video)
    by Richard A. Eisenberg and Jan Stolarek.

  • SmartCheck: Automatic and Efficient Counterexample Reduction and Generalization
    (paper) (video)
    by Lee Pike.

  • LiquidHaskell: Refinement Types in the Real World
    (paper) (video)
    by Niki Vazou, Eric L. Seidel and Ranjit Jhala.

  • The HdpH DSLs for Scalable Reliable Computation
    (paper) (video)
    by Patrick Maier, Robert Stewart and Phil Trinder.

  • Indentation-Sensitive Parsing for Parsec
    (video)
    by Michael D. Adams and Ömer Sinan Ağacan.

  • Building Secure Systems with LIO (Systems Demo)
    (paper) (video)
    by Deian Stefan and Alejandro Russo.

  • Foreign Inline Code (Systems Demo)
    (video)
    by Manuel Chakravarty.

  • Making Web Applications -XSafe (Systems Demo)
    (paper) (video)
    by Amit Levy, David Terei, Deian Stefan and David Mazieres.

  • NetBSD Sound Drivers in Haskell (Systems Demo)
    (long-version paper) (video)
    by Kiwamu Okabe and Takayuki Muranushi.