CS 421: Programming Languages and Compilers main  ::  policy  ::  lectures  ::  mps  ::  exams  ::  unit project  ::  resources  ::  faq

Research Papers for Fall 2008

Topic: Title: Type Systems Type Systems Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell Advanced Topics in Types and Programming Languages (Chapter entitled ML) Typing a Multi-Language Intermediate Code CPS Transformation Separating Stages in the Continuation-Passing Style Transformation Call-by-need and Continuation-passing Style Proof Carrying Code Proof-Carrying Code Garbage Collection Uniprocessor Garbage Collection Techniques