David Van Horn

icon indicating a website link ter.ps/dvanhorn

icon company @plum-umd icon location Washington, DC

Results 4 repositories owned by David Van Horn

redex-aam-tutorial

102
Stars
14
Forks
Watchers

An Introduction to Redex with Abstracting Abstract Machines

verified publisher icon dvanhorn

dpc

27
Stars
2
Forks
Watchers

Designing Programs with Class

verified publisher icon dvanhorn

oaam

30
Stars
1
Forks
Watchers

Optimizing Abstract Abstract Machines

verified publisher icon dvanhorn

pcf

17
Stars
2
Forks
Watchers

PCF with Contracts and Symbolic Values

verified publisher icon dvanhorn