Transcript 04 Mar Feb

It’s Bounty Time!
(or: Are PL and OS really worth it?)
>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.
>
04 Mar 1999; Session 13
CS655
Office
hours
today are
2PM-5:00PM
with a 3:30 4:30 break for
EE review
Paul takes out some utilities...
04 Mar 1999; Session 13
CS655
Thurs, 04 March: Assignment Reminder
• Read Unit 6 papers (in file drawer) by Thurs, 11th:
– Cardelli2, 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.
04 Mar 1999; Session 13
CS655
Today’s Topics
• l calculus (fix and move on)
• Denotational semantics
04 Mar 1999; Session 13
CS655