gradualizerDynamicSemantics
From MaRDI portal
Software:33504
swMATH21702MaRDI QIDQ33504FDOQ33504
Author name not available (Why is that?)
Source code repository: https://github.com/mcimini/GradualizerDynamicSemantics
Cited In (7)
- 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
- The Recursive Union of Some Gradual Types
- Type Inference for Rank 2 Gradual Intersection Types
- Migrating gradual types
- Foundations of dependent interoperability
This page was built for software: gradualizerDynamicSemantics
