PhD Student in PL @ CMU CSD
-
Carnegie Mellon University
- Pittsburgh, PA
-
23:11
(UTC -05:00) - https://www.harrisongrodin.com
- https://orcid.org/0000-0002-0947-3520
- @HarrisonGrodin@mathstodon.xyz
Highlights
- Pro
Pinned Loading
-
jonsterling/agda-calf
jonsterling/agda-calf PublicA cost-aware logical framework, embedded in Agda.
-
ProjectSavanna/setup-sml
ProjectSavanna/setup-sml PublicSet up a Standard ML environment and add it to the PATH
-
-
-
Simple model of Python-style dynamic...
Simple model of Python-style dynamic dispatch in Standard ML via dynamic classification 1signature OBJECT =
2sig
3type 'a tag
4type t
5
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.