|
Failed to load latest commit information. |
|
Full-abstraction
|
Morris
|
Jan 12, 2017
|
|
|
analysis-based program transformations
|
go watch arrival
|
Feb 23, 2017
|
|
|
categories-and-dynamic-typing
|
LaTeX'd talk notes about categories and dynamic typing (#16)
|
Apr 30, 2017
|
|
|
conversational-context-and-concurrency
|
I don't remember why I put this here, but it doesn't *quite* belong, …
|
May 13, 2017
|
|
|
datalog-for-static-analysis
|
[datalog] fix TODO
|
May 10, 2017
|
|
|
dependent-type-preserving-compilation
|
Added notes
|
Apr 13, 2017
|
|
|
from-encapsulation-to-ownership
|
add Jan's slides
|
Feb 15, 2017
|
|
|
garbage-collection-vs-manual-allocation
|
add Will's HTML pages
|
Feb 15, 2017
|
|
|
lecture_notes
|
Fix MD bug in a link (#17)
|
Jan 25, 2018
|
|
|
logical-relations
|
logical relations notes, imported from Oregon
|
Feb 12, 2017
|
|
|
probabilistic-programming
|
link to Jan-Willem's slides
|
Feb 12, 2017
|
|
|
refactoring
|
semanticall well-founded refactoring
|
Feb 16, 2017
|
|
|
refinement-types
|
Added lecture notes and annotated bibliography.
|
Apr 20, 2017
|
|
|
soft-typing
|
[soft-typing] finish simple draft of lecture notes
|
Apr 16, 2017
|
|
|
tracing-jit
|
[tracing-jit] Add lecture/discussion notes
|
Mar 15, 2017
|
|
|
type-inference-for-stack-languages
|
Type inference for stack languages - notes.
|
Mar 11, 2017
|
|
|
.gitignore
|
** start
|
Jan 10, 2017
|
|
|
README.md
|
[lecture-notes] from Dan's talk
|
Feb 16, 2017
|