17 Nov 08 Daftar kuliah-kuliah mengenai Bahasa Pemrograman
1986 Lectures Structure & Interpretation of Computer Programs, Hal Abelson and Gerry Sussman
CS200: Computer Science from Ada and Euclid to Quantum Computing and the World Wide Web (University of Virginia) (introduction to CS from a programming language POV)
Courses using Concepts, Techniques, and Models of Computer Programming: KTH (Stockholm), UCL (Louvain-la-Neuve) second year course , UCL third year course.
Programming Languages (Utah) (EOPL2 based)
The Design and Implementation of Programming Languages (uses ML; Interpreters)
Programming Languages (Princeton) (uses ML and Java. Andrew Appel)
CPSC 511: Programming Languages (UBC) (Gregor Kiczales. “The goal of this course is to prepare you to participate in modern programming language design research.”)
CS 2135: Programming Language Concepts (WPI) (Kathi Fisler. Domain specific little languages are designed and implemented step by step.)
Principles of Programming Languages (UCSD) (Joseph Goguen)
CS152-Programming Languages (Harvard) (Norman Ramsey)
CS655: Programming Languages, University of Virginia / Spring 2000 (Notice the mock trial! Some interesting project topics)
Design and Analysis of Programming Languages (Berkeley) (emphasis on semantics and type systems)
Fundamentals of Programming Languages (University of Colorado) (Based on a collection of papers; the site contains worksheets + summaries)
Topik-topik yang lebih teoritis:
Graduate Courses About Programming Languages
Comp Sci 319: Lambda Calculus (University of Chicago)
DSLs: A Logical Approach (University of British Columbia)
Mobile Processes (Uppsala University), winter/spring 1995
COS 598E:Foundations of Language-Based Security (Princeton)
Type Systems for Modularity (Robert Harper)
Designing and Using Combinators: The Essence of Functional Programming (John Hughes)
Advanced Course on Memory Management (Technion)
Special Topics in Domain Specific Languages (University of Alabama at Birmingham)
Graduate Courses About Programming Languages
Comp Sci 319: Lambda Calculus (University of Chicago)
DSLs: A Logical Approach (University of British Columbia)
Mobile Processes (Uppsala University), winter/spring 1995
COS 598E:Foundations of Language-Based Security (Princeton)
Type Systems for Modularity (Robert Harper)
Designing and Using Combinators: The Essence of Functional Programming (John Hughes)
Advanced Course on Memory Management (Technion)
Special Topics in Domain Specific Languages (University of Alabama at Birmingham)
