The Programming Languages and Systems reading group, University of Kent
We have meetings scheduled at 4pm on most Mondays this term, in SW101.
Autumn 2014 Schedule
- 27 Oct: Soft contract verification, video, ICFP 2014, Suggested by Scott Owens
- 3 Nov: Refinement types for Haskell, video, ICFP 2014, Suggested by Stephen Adams (The ICFP paper is more theoretical, whereas this one LiquidHaskell: experience with refinement types in the real world from the Haskell Symposium 2014 is a more practical look at using the system from the ICFP paper, video)
- 10 Nov:
A Theory of Design-by-Contract for Distributed Multiparty Interactions, CONCUR 2010, Suggested by Scott Owens (with the aid of Laura Bocchi), slides
- 17 Nov: A walk in the semantic park, PEPM 2011, Suggested by Maarten Faddegon
- 24 Nov: Contracts for higher-order functions, ICFP 2002 (winner of ICFP 2012 most influential paper award for ICFP 2002), Suggested by Scott Owens
- 8 Dec: Paper TBD
- 15 Dec: The topic is building operating systems in OCaml, Suggested by Fred Barnes & Scott Owens. Instead of a single paper, browse the selection below and read/listen-to what you're interested in.
- Compositional semantics for composable continuations: from abortive to delimited control, video, ICFP 2014, Suggested by Scott Owens
- Profiling large-scale lazy functional programs, JFP 1998, Suggested by Maarten Faddegon. Note that the JFP copy should be freely available if you go through the library's online catalogue to access JFP.
- Various ‘Most influential’ papers, Suggested by Simon Thompson
- A hybrid finite automaton for practical deep packet inspection, CoNEXT 2007, Suggested by Bala Modi
Automating Elementary Interpretations, WST 2014, Suggested by Stefan Kahrs, slides, implementation
Validate HTML 4.01 Strict