gradualizerDynamicSemantics
From MaRDI portal
Software:33504
No author found.
Source code repository: https://github.com/mcimini/GradualizerDynamicSemantics
Related Items (7)
Migrating gradual types ⋮ The Recursive Union of Some Gradual Types ⋮ Foundations of dependent interoperability ⋮ Type Inference for Rank 2 Gradual Intersection Types ⋮ Automatically generating the dynamic semantics of gradually typed languages ⋮ Call-by-name Gradual Type Theory ⋮ Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
This page was built for software: gradualizerDynamicSemantics
