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.

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
Full-abstraction		Full-abstraction
analysis-based program transformations		analysis-based program transformations
conversational-context-and-concurrency		conversational-context-and-concurrency
datalog-for-static-analysis		datalog-for-static-analysis
dependent-type-preserving-compilation		dependent-type-preserving-compilation
from-encapsulation-to-ownership		from-encapsulation-to-ownership
garbage-collection-vs-manual-allocation		garbage-collection-vs-manual-allocation
lecture_notes		lecture_notes
logical-relations		logical-relations
probabilistic-programming		probabilistic-programming
refactoring		refactoring
refinement-types		refinement-types
soft-typing		soft-typing
tracing-jit		tracing-jit
type-inference-for-stack-languages		type-inference-for-stack-languages
.gitignore		.gitignore
README.md		README.md

kevinclancy/hopl-s2017