/hopl-s2017

History of Programming Languages, Spring 2017
  1. TeX 83.1%
  2. HTML 10.2%
  3. CSS 4.7%
  4. Racket 1.2%
  5. Other 0.8%
Switch branches/tags
Nothing to show
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Full-abstraction
analysis-based program transformations
categories-and-dynamic-typing
conversational-context-and-concurrency
datalog-for-static-analysis
dependent-type-preserving-compilation
from-encapsulation-to-ownership
garbage-collection-vs-manual-allocation
lecture_notes
logical-relations
probabilistic-programming
refactoring
refinement-types
soft-typing
tracing-jit
type-inference-for-stack-languages
.gitignore
README.md

README.md

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.