MIME-Version: 1.0 Server: CERN/3.0 Date: Sunday, 24-Nov-96 22:40:59 GMT Content-Type: text/html Content-Length: 6398 Last-Modified: Sunday, 24-Nov-96 19:20:40 GMT CS611: Scribed Lecture Notes

CS611: Semantics of Programming Languages

These notes are not intended for distribution outside of class.

Notes on Scribing:

List of Scribes and Scribed Lectures:

e
Scribe 1Scribe 2Notes
Wed Sep 4Steve ZdancewicPatrick WhiteML 1
Fri Sep 6Nikola ValerjevStephanie Weirich ML 2: ver. 1, ver. 2
Mon Sep 9Nikola ValerjevWei-Tsang OoiLambda 1: ver. 1, ver. 2
Wed Sep 11Sumedh KanetkarWei-Tsang OoiLambda 2
Fri Sep 13Jia WangZhen XiaoLambda 3 (must be printed)
Mon Sep 16Adam FlorenceSumedh KanetkarLambda 4
Wed Sep 18Li LiLili QuiTyped Lambda 1
Fri Sep 20Jia WangZhen XiaoTyped Lambda 2
Mon Sep 23Tobias MayrPatrick WhiteChurch Rosser
Wed Sep 25Li LiLili QuiStrong Normalization
Fri Sep 27Class cancelled...
Mon Sep 30Adam FlorenceSoochon RadeeExtended Typed Lambda
Wed Oct 2Steve ZdancewicStephanie WeirichDenotation for Typed Lambda
Fri Oct 4Walker WhiteRalph BenzingerEquations and Frames
Mon Oct 7Rosen Sharma The Term Frame
Wed Oct 9Chris HawbitzelRosen SharmaCurry-Howard Isomorphism
Fri Oct 11Soochon RadeeTugkan BatuSubst Lemma / F2
Fall break...
Wed Oct 16Dan Brown Intro to F2
Fri Oct 18Walker WhiteDan BrownMore on F2
Mon Oct 21Chris HawbitzelDan BrownYet more on F2
Wed Oct 23Athanasios KyparlisMihai-Dan BudiuWell-definedness of F2
Fri Oct 25Tom DaleyRalph BenzingerF2, U2 and ML
Mon Oct 28Wei Tsang OoiChris HawblitzelType Inference 1
Wed Oct 30Patrick White Type Inference 2
Fri Nov 1Sumedh KanetkarTugkan BatuPT Thm, ML Inference
Mon Nov 4Adam FlorenceRalph BenzingerADTs in F2
Wed Nov 6Athanasios KyparlisMihai-Dan BudiuMore ADTs and F2 w/Exists
Fri Nov 8Li LiLili QiuAdding Recursion: PCF
Mon Nov 11Zhen XiaoJia WangPCF, Posets and Cpos
Wed Nov 13Steve ZdancewicStephanie WeirichCpos and Continuous Funcs.
Fri Nov 15David LarkinIlya GermanFixed-Point Thm
Mon Nov 18David Larkin(JGM)Adequacy
Wed Nov 20Tobias MayrTugkan BatuIntro to Axiomatic Semantics
Fri Nov 22Tom DaleyIlya German 
Mon Nov 25David LarkinSoochon Radee 
Wed Nov 27Athanasios KyparlisMihai-Dan Budiu 
Thanksgiving break...
Mon Dec 2Tom Daley  
Wed Dec 4Tobias MayrIlya German 
Fri Dec 6Nikola Valerjev  



Back to the CS611 homepage.