Daniel Patterson

icon indicating a website link https://dbp.io icon indicating an email [email protected]

icon company Northeastern University icon location Boston, MA icon location teaching faculty at Northeastern University. formerly PhD student @nuprl, member/owner at @positiondev.

Results 3 repositories owned by Daniel Patterson

funtal

37
Stars
6
Forks
Watchers

FunTAL: mixing a functional language with assembly.

verified publisher icon dbp

howtoproveacompiler

38
Stars
0
Forks
Watchers

Writeup that goes along with this:

verified publisher icon dbp

howtoprovefullabstraction

15
Stars
0
Forks
Watchers

Writeup that goes along with this:

verified publisher icon dbp