Wonseok's Links

Compiler

• CS134b Compiler Design Laboratory
• CS301: Compiler Design and Implementation
• CS447a -- Compiler Theory
• BU CAS CS525 Compiler Design
• CS420 Compiler Design: Programming Langauge Implementation
• Compiler Construction
• CS132: Compiler Design
• CS3142 - Compilers
• CS375: Compilers
• CS375: Compilers (Spring 2005)
• CSC467: Compilers and Interpreters
• Programming Languages and Implementation
• Priceton COS 320: Compilers
• CPSC 411 - Compiler Construction I

Programming Languages

• Programming Languaes IT-C
• CSC535: Semantics of Programming Languages
• Introduction to Programming Languages
• CMPS 203 - Programming Languages
• EECS 762 - Programming Language Paradigms
• Topics in Programming Languages
• BU CAS CS520 Principles of Programming Languages
• CSC254/454 Programming Systems
• CPSC429/529: Functional Programming
• Semantics of Programming Languages
• Programming Languages
• Principles of Programming Languages
• Programming Languages Semantics
• An Introduction to Programming Languages
• Programming Language List
• Mother Tongues of Computer Languages
• Programming Languages
• Programming Languages (Fall 2004)
• Advanced Programming Languages
• CS6371: Advanced Programming Languages
• Programming Language Foundations
• Programming Language Foundations
• Programming Language Theory
• Comp311: Principles of Programming Languages
• CMPSCI 530/691F Programming Languages
• COS 510: Programming Languages
• CS3 Language Semantics and Implementation
• Semantics of Programming Languages
• Programming Languages and Logics
• 15-312 Foundations of Programming Languages
• Advanced Functional Programming

Type Systems

• Types and Prgramming Languages (Fall 2004)
• 15-814 Type Systems for Programming Languages
• CIS500: Software Foundations

Software Engineering

• Formal Methods of Software Development I
• HUnit -- Haskell Unit Testing

Extream Programming

• no entry

PL People

• Robert Harper

Standard ML

• Information about Standard ML
• Programming in Standard ML
• ML
• The ML language
• UNIX System Programming with Standard ML
• Description of Standard ML
• Using SML/NJ
• Using the SML/NJ System
• The SML.NET compiler
• FreshML
• Lab #2: SML Introudctiory Lab
• Home of Erlang/OTP

Blogs

• XOLTAR

Research Group

• Programming Languages Laboratory
• Microsoft Research

Events

• Symposium on Trends in Functional Programing

---

Wonseok's Homepage