CSC 7101: Programming Languages Structures

General Information

On understanding types, data abstraction, and polymorphism by Luca Cardelli and Peter Wegner, ACM Computing Surveys, 17(4), pp. 471-523, 1985.
Describing Prolog by its interpretation and compilation by Jacques Cohen, Communications of the ACM, 28(12), pp. 1311-1324, 1985.
Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant by Xavier Leroy, in Proceeding of POPL '06, pp. 42-54, 2006.
An Interview with C.A.R. Hoare by Len Shustek (ed.), Communications of the ACM, 52(3), pp. 38-41, 2009.

Last modified: Wed Apr 22 13:43:15 Central Daylight Time 2009