Robert Atkey (2009):
Parameterized Notions of Computation.
Journal of Functional Programming 19(3-4),
pp. 335–376,
doi:10.1017/S095679680900728X.
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich & Steve Zdancewic (2005):
Mechanized Metatheory for the Masses: The PoplMark Challenge.
In: Theorem Proving in Higher Order Logics,
Lecture Notes in Computer Science 3603.
Springer-Verlag,
pp. 50–65,
doi:10.1007/11541868_4.
Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist & Torbjörn Martin (2004):
Student paper: HaskellDB improved.
In: Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell.
ACM,
pp. 108–115,
doi:10.1145/1017472.1017473.
Mario Coppo, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2007):
Asynchronous Session Types and Progress for Object Oriented Languages.
In: Formal Methods for Open Object-Based Distributed Systems,
Lecture Notes in Computer Science 4468.
Springer-Verlag,
pp. 1–31,
doi:10.1007/978-3-540-72952-5_1.
Marco Giunti, Kohei Honda, Vasco T. Vasconcelos & Nobuko Yoshida (2009):
Session-Based Type Discipline for Pi Calculus with Matching.
In: In the preproceedings of PLACES '09: Programming Language Approaches to Concurrency and Communication-cEntric Software.
Available at http://places09.di.fc.ul.pt/.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP '98: Proceedings of the 7th European Symposium on Programming,
Lecture Notes in Computer Science 1381.
Springer-Verlag,
pp. 122–138,
doi:10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
SIGPLAN Notices 43(1),
pp. 273–284,
doi:10.1145/1328438.1328472.
Mark P. Jones (2000):
Type Classes with Functional Dependencies.
In: ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems.
Springer-Verlag,
pp. 230–244,
doi:10.1007/3-540-46425-5_15.
Oleg Kiselyov, Ralf Lämmel & Keean Schupke (2004):
Strongly Typed Heterogeneous Collections.
In: Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell.
ACM Press,
pp. 96–107,
doi:10.1145/1017472.1017488.
Oleg Kiselyov & Chung C. Shan (2008):
Lightweight monadic regions.
In: Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell.
ACM,
pp. 1–12,
doi:10.1145/1411286.1411288.
Daan Leijen & Erik Meijer (2001):
Parsec: Direct Style Monadic Parser Combinators for the Real World.
Technical Report.
Departement of Computer Science, Universiteit Utrecht.
Available at http://www.cs.uu.nl/~daan/parsec.html.
Matthias Neubauer & Peter Thiemann (2004):
An Implementation of Session Types.
In: PADL'04 : Practical Aspects of Declarative Languages,
Lecture Notes in Computer Science 3057.
Springer-Verlag,
pp. 56–70,
doi:10.1007/978-3-540-24836-1_5.
Frank Pfenning & Conal Elliot (1988):
Higher-Order Abstract Syntax.
In: PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language Design and Implementation.
ACM Press,
pp. 199–208,
doi:10.1145/53990.54010.
Benjamin C. Pierce (2002):
Types and Programming Languages.
MIT Press.
Riccardo Pucella & Jesse A. Tov (2008):
Haskell Session Types with (Almost) No Class.
In: Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell.
ACM Press,
pp. 25–36,
doi:10.1145/1411286.1411290.
Matthew Sackman & Susan Eisenbach (2008):
Session Types in Haskell: Updating Message Passing for the 21st Century.
Technical Report.
Imperial College London.
Available at http://pubs.doc.ic.ac.uk/session-types-in-haskell/.
eptcs@eptcs.org