Brown Computer Science: cs296-1 - Programming Languages: A Survival Kit

cs296-1
Programming Languages:
A Survival Kit

Instructor

Shriram Krishnamurthi

Credit

This course will count
in one of areas ``A'' or ``E'' (but not both) for the PhD requirements;
as a ``theoretical computer science'' course for the Master's requiremements.

Venues and Time

Monday: 3-5pm, CIT 506
Wednesday: 3-5pm, CIT 219
Friday: 3-5pm, CIT 506

Schedule

Topic Person Dates
model checking Kathi 1/29, 1/31
control-flow analyses sk 2/7, 2/9
dependent types dbtucker 2/12, 2/14
mixin layers and product-line architectures sk 2/21, 2/23
multi-methods greg 2/26, 2/28
typed intermediate languages ocolbert 3/5, 3/7
polytypic programming bpytlik 3/12, 3/14
separation of concerns rob 3/19, 3/21
interoperability, types and effects dpb 4/9, 4/11
concept analysis er 4/11, 4/13

Topic	Person	Dates
model checking	Kathi	1/29, 1/31
control-flow analyses	sk	2/7, 2/9
dependent types	dbtucker	2/12, 2/14
mixin layers and product-line architectures	sk	2/21, 2/23
multi-methods	greg	2/26, 2/28
typed intermediate languages	ocolbert	3/5, 3/7
polytypic programming	bpytlik	3/12, 3/14
separation of concerns	rob	3/19, 3/21
interoperability, types and effects	dpb	4/9, 4/11
concept analysis	er	4/11, 4/13