ericgiovannini
PhD student in Computer Science and Engineering at the University of Michigan. Interested in Programming Language theory.
Ann Arbor, MI
Pinned Repositories
hs-to-coq
Convert Haskell source code to Coq source code
BarBeerDrinkerPlus
BarBeerDrinkerPlus Project for CS336 at Rutgers
lc4-labs
01-intro
02-trees
gradual-typing-semantics-in-sgdt
hs-to-coq
Convert Haskell source code to Coq source code
hs-to-coq
Convert Haskell source code to Coq source code.
cis501
CIS 501: Computer Architecture Fall 2019
ericgiovannini's Repositories
ericgiovannini/gradual-typing-semantics-in-sgdt
ericgiovannini/01-intro
ericgiovannini/02-trees
ericgiovannini/hs-to-coq
Convert Haskell source code to Coq source code