Aaron Stump

icon indicating a website link https://cshub.bc.edu/stumpaa/ icon indicating an email [email protected]

icon company Boston College icon location Chestnut Hill, MA icon location I am a professor of Computer Science at Boston College.

Results 3 repositories owned by Aaron Stump

cedille-core-spec

34
Stars
3
Forks
Watchers

Specification of the Cedille Core language

verified publisher icon astump

cedilleum-spec

28
Stars
2
Forks
Watchers

Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core

verified publisher icon astump

hoc-notes

17
Stars
0
Forks
Watchers

Notes written while consulting for the Higher Order Company

verified publisher icon astump