User Tools

Site Tools


readinggroup:spring07

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

readinggroup:spring07 [2014/03/03 19:27] (current)
cschuster Moved from readinggroup
Line 1: Line 1:
 +====Spring 2007====
  
 +  * **April 11**: One nice paper from ETAPS 2007
 +    * [[http://​www.stat.uiowa.edu/​ftp/​tinelli/​papers/​KrsGGT-RR-06.pdf|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.
 +    * [[http://​flint.cs.yale.edu/​flint/​publications/​sagl.html|On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning]]. X Feng, R Ferreira, Z Shao. ESOP 2007.
 +    * [[http://​www.eecs.harvard.edu/​~aleks/​papers/​hoarelogic/​esop07.pdf|Abstract Predicates and Mutable ADTs in Hoare Type Theory]]. A Nanevski, G Morrisett, L Birkedal. ESOP 2007. 
 +  * **April 25**: A little read on parametricity
 +    * [[http://​portal.acm.org/​citation.cfm?​id=99404&​coll=portal&​dl=ACM|Theorems for free!]] P Wadler. FPCA 1989. 
 +  * **May 2**:
 +    * [[http://​www.cse.unsw.edu.au/​~dons/​papers/​CLS07.html|Stream Fusion: From Lists to Streams to Nothing at All]]. D Coutts, R Leshchinskiy,​D Stewart. Submitted 2007. 
 +  * **May 9**: Erlang
 +    * [[http://​user.it.uu.se/​~kostis/​Papers/​succ_types.pdf|Practical Type Inference Based on Success Typings]]. T Lindahl, K Sagonas. PPDP'​06
 +    * [[http://​cm.bell-labs.com/​who/​wadler/​papers/​erlang/​erlang.pdf|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.
 +    * [[http://​ieeexplore.ieee.org/​xpls/​abs_all.jsp?​arnumber=4015454|Fine-grained Visualization Pipelines and Lazy Functional Languages]]. D Duke, M Wallace, R Borgo, C Runciman. VCG 2006. 
 +  * **May 23**: A survey of Oz.
 +    * [[http://​www.mozart-oz.org/​papers/​abstracts/​LogicProgrammingOzExperience.html|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
 +    * [[http://​users.info.unicaen.fr/​~karczma/​arpap/​hasiqm.pdf|Structure and Interpretation of Quantum Mechanics - a Functional Framework]]
 +    * [[http://​users.info.unicaen.fr/​~karczma/​arpap/​cleasyn.pdf | Functional Framework for Sound Generation]]
readinggroup/spring07.txt · Last modified: 2014/03/03 19:27 by cschuster