Foundations of Software - LAMP - EPFL
Foundations of Software - LAMP - EPFL
Foundations of Software - LAMP - EPFL
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Information<br />
Textbook: Types and Programming Languages,<br />
Benjamin C. Pierce, MIT Press, 2002<br />
Webpage: http://lampwww.epfl.ch/teaching/foundations <strong>of</strong> s<strong>of</strong>tware/<br />
13