user
pass
Jim's
Tutorials
Spring 2019
course
home
Ben
Kat
Nick
Jack
Nate
Leslie
site
about
help
..
.
Ben
planning
resources
book : Practical Foundations for Programming Languages, Robert Harper
twelf
- "a tool that assists people designing deductive systems" (Harper is involved) |
wikipedia: twelf
wikipedia: curry-howard correspondance
diary
Jan 24
Jan 31
Feb 06
Feb 14
Feb 21
Midterm
Mar 07
Mar 28
Apr 04
Apr 11
Apr 18
Apr 25
May 2
Jim's end of semester comments
folders
protected
https://cs.marlboro.college
/cours
/spring2019
/jims_tutorials
/sarahr
/home
last modified Mon November 25 2024 10:35 am