nuprl/hopl-s2017

History of Programming Languages, Spring 2017

TeX

139

52 commits

updated Jan 25, 2018

See the code

README

History of Programming Languages, Spring '17 Edition

This repository is for supplemental material. The course web page lists the schedule and the links to the presented theme papers.

Course webpage

http://www.ccs.neu.edu/home/matthias/7480-s17/

Overview

lecture_notes/ students' combined notes from lectures
other folders are speakers' materials for their presentations

Full-abstraction

Morris. Lambda-calculus models of programming languages. MIT, 1969.

Contributors

30 commits

5 commits

5 commits

4 commits

Similar repos

pamellies/models-of-programming-languages

Slides and handwritten notes on the course on models of programming languages

cmsc430/cmsc430.github.io

CMSC 430 Design and Implementation of Programming Languages

jsiek/B629-denotational

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

nadia-polikarpova/cse291-program-synthesis

Program Synthesis Course

268

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

jeanqasaur/learn-programming-languages

Resources for the working programmer to learn more about the fundamentals and theory of programming…

337

clarksmr/sf-lectures

Software Foundations

162

clairew/oplss-2025

OPLSS 2025 Project Ideas

Languages

TeX

83.2%

HTML

10.2%

CSS

4.7%

Racket

1.2%

nuprl/hopl-s2017

History of Programming Languages, Spring 2017

TeX

139

52 commits

updated Jan 25, 2018

See the code

README

History of Programming Languages, Spring '17 Edition

This repository is for supplemental material. The course web page lists the schedule and the links to the presented theme papers.

Course webpage

http://www.ccs.neu.edu/home/matthias/7480-s17/

Overview

lecture_notes/ students' combined notes from lectures
other folders are speakers' materials for their presentations

Full-abstraction

Morris. Lambda-calculus models of programming languages. MIT, 1969.

Similar repos

pamellies/models-of-programming-languages

Slides and handwritten notes on the course on models of programming languages

cmsc430/cmsc430.github.io

CMSC 430 Design and Implementation of Programming Languages

jsiek/B629-denotational

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

nadia-polikarpova/cse291-program-synthesis

Program Synthesis Course

268

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

jeanqasaur/learn-programming-languages

Resources for the working programmer to learn more about the fundamentals and theory of programming…

337

clarksmr/sf-lectures

Software Foundations

162

clairew/oplss-2025

OPLSS 2025 Project Ideas

Contributors

30 commits

5 commits

5 commits

4 commits

Languages

TeX

83.2%

HTML

10.2%

CSS

4.7%

Racket

1.2%