readinggroup:spring07
Spring 2007
- April 11: One nice paper from ETAPS 2007
- Combined Satisfiability Modulo Parametric Theories. S Krstic, A Goel, J Grundy, C Tinelli. TACAS 2007.
- April 18: A trilogy of Hoare Logic papers from ETAPS 2007
- http://www.cl.cam.ac.uk/~mom22/mc-hoare-logic.pdfHoare Logic for Realistically Modelled Machine Code. M Myreen, M Gordon. TACAS 2007.
- On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning. X Feng, R Ferreira, Z Shao. ESOP 2007.
- Abstract Predicates and Mutable ADTs in Hoare Type Theory. A Nanevski, G Morrisett, L Birkedal. ESOP 2007.
- April 25: A little read on parametricity
- Theorems for free! P Wadler. FPCA 1989.
- May 2:
- Stream Fusion: From Lists to Streams to Nothing at All. D Coutts, R Leshchinskiy,D Stewart. Submitted 2007.
- May 9: Erlang
- Practical Type Inference Based on Success Typings. T Lindahl, K Sagonas. PPDP'06
- A Practical Subtyping System for Erlang. S Marlow and P Wadler. ICFP'97
- May 16: A follow-up on a discussion of applications of HOT (Higher-Order, Typed) languages.
- Fine-grained Visualization Pipelines and Lazy Functional Languages. D Duke, M Wallace, R Borgo, C Runciman. VCG 2006.
- May 23: A survey of Oz.
- Logic programming in the context of multiparadigm programming: the Oz experience. P Van Roy, P Brand, D Duchier, S Haridi, M Henz, Schulte. 2003.
- May 30: Functional programming for scientific computation
readinggroup/spring07.txt · Last modified: 2014/03/04 03:27 by cschuster
