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)
02 Dec 07 Free on-line paper from Digital-Library Magazine
Free online paper from 1995-2006 (visit here)
From editor:
D-Lib Magazine is a solely electronic publication with a primary focus on digital library research and development, including but not limited to new technologies, applications, and contextual social and economic issues. The magazine is currently published six times a year. The full contents of the magazine, including all back issues, are available free of charge at the D-Lib web site (http://www.dlib.org) as well as multiple mirror sites around the world.
The primary goal of the magazine is timely and efficient information exchange for the digital library community. To meet this goal, both the articles and the shorter pieces are solicited or selected from among unsolicited submissions. If you would like to contribute to the D-Lib Magazine, or if you have any questions and comments about the magazine, please send e-mail to <editor@dlib.org>.
