nuprl/hopl-s2017

Name: hopl-s2017

Owner: Northeastern University Programming Research Lab

Description: History of Programming Languages, Spring 2017

Created: 2017-01-10 15:41:18.0

Updated: 2018-03-15 18:03:37.0

Pushed: 2018-01-25 14:54:58.0

Homepage: null

Size: 67440

Language: TeX

GitHub Committers

User	Most Recent Commit	# Commits

Other Committers

User	Email	Most Recent Commit	# Commits

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.