Programming Languages Seminar Spring 2012
Meeting time: Wednesday 10AM-11PMClassroom: Shaffer 204E
Discussion Schedule
| Date | Paper/Topic/Visitor | Discussion Leader |
| 2/1 | Organizational Meeting | Everyone |
Potential topics for discussion:
TUTORIALS
- abstract interpretation
- supercompilation
- System F and Constructions and Coq
- Agda / predicative dependent types
- co-Monads
- A Type System for Borrowing Permissions
- A verified modern sat solver
- Just do it: simple monadic equational reasoning
- Monads, zippers and views: virtualizing the monad stack
- Commutative Set: A Language Extension for Implicit Parallel Programming
- FSE 2011
-- how PLs get used in large production environments
-- etc - Taming Wildcards in Java's Type System
- New languages??