readinggroup:winter07
Winter 2007
Jan 10: Error inducing input: Which approach seems most convenient/useful/foundational/extendable/scalable?
Jan 17: Safe memory management: Can we have safe systems-level code? (a safe kernel would be nice!)
Jan 24: Semantics for spreadsheets: Type systems? Evaluation strategies?
Jan 31: Low-level Haskell extravaganza:
Feb 05: ESOP 2007: Dependent Types and Type Inference
Feb 12: POPL 2007: Logics and Type Systems
Feb 19: POPL 2007: Dynamic heap session
-
Mar 05: Category theory chat with Patrick Schultz from the math department.
Mar 12: Pritam's Advancement Talk
Mar 19: Kenn's Practice Talk
readinggroup/winter07.txt · Last modified: 2014/03/04 03:26 by cschuster