GitHub - vkz/PLAI: my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi

This repository was archived by the owner on Nov 13, 2017. It is now read-only.

vkz / PLAI Public archive

Notifications You must be signed in to change notification settings
Fork 1
Star 9

my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi

9 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.DS_Store		.DS_Store
cps-generator.rkt		cps-generator.rkt
cps-threads.rkt		cps-threads.rkt
cps.rkt		cps.rkt
inference.rkt		inference.rkt
type-checker.rkt		type-checker.rkt
type-constraints.rkt		type-constraints.rkt
type-unify.rkt		type-unify.rkt
wk01 interp - arithmetics.rkt		wk01 interp - arithmetics.rkt
wk02 interp - conditionals and functions with substitution.rkt		wk02 interp - conditionals and functions with substitution.rkt
wk03 interp - functions anywhere, lambdas, let.rkt		wk03 interp - functions anywhere, lambdas, let.rkt
wk03 interp - functions, deferred substitution and environment.rkt		wk03 interp - functions, deferred substitution and environment.rkt
wk04 interp - recursion.rkt		wk04 interp - recursion.rkt
wk04 interp - sequence, box assignment.rkt		wk04 interp - sequence, box assignment.rkt
wk04 interp - sequence, var assignment.rkt		wk04 interp - sequence, var assignment.rkt

About

my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi

Report repository

Releases

No releases published

Packages

No packages published

Languages

Racket 100.0%