1. 04 Mar 1999; Session 13CS655 >Help and make money! > >Our college is desperate to hire 4 faculty this year. Our college is >looking for two tenure-track and two non-tenure track faculty in the areas >of DB (especially, data warehousing, data mining, web databases, database >design & modeling, OODB), systems analysis & design (both structured and >object-oriented analysis & design), distributed computing & networking. >Our college rewards with $2,000 for each faculty who nominates the >candidate whom we will eventually hire. Thus, if you know someone whom > we can hire, please let me know first and ask him/her to apply to us. > It’s Bounty Time! (or: Are PL and OS really worth it?)

2. 04 Mar 1999; Session 13CS655 Office hours today are 2PM-5:00PM with a 3:30 - 4:30 break for EE review Paul takes out some utilities...

3. 04 Mar 1999; Session 13CS655 Read Unit 6 papers (in file drawer) by Thurs, 11th: –Cardelli 2, Milner, Ponder, Day --papers are in drawer Basic type systems Write (due Tomorrow --05 Mar, 5PM): –Haskell and ML handle type inferencing and polymorphism differently. Haskell maps to abstract types while ML maps to concrete types. Explain what this means and address which method, if either (feel free to suggest alternatives), is better. Submit -- today: –Your project plan: a paragraph describing your group, and its project, as preapproved by me. Thurs, 04 March: Assignment Reminder

4. 04 Mar 1999; Session 13CS655 Today’s Topics  calculus (fix and move on) Denotational semantics