gradualizerDynamicSemantics

swMATH21702MaRDI QIDQ33504FDOQ33504

Author name not available (Why is that?)

Official website: https://github.com/mcimini/GradualizerDynamicSemantics

Source code repository: https://github.com/mcimini/GradualizerDynamicSemantics

Cited In (17)

• Automatically generating the dynamic semantics of gradually typed languages
• The recursive union of some gradual types
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Cecil
• TS#
• Type Inference for Rank 2 Gradual Intersection Types
• Pycket
• Racket
• Forsythe
• TypeScript
• Dylan
• Sage
• Flow
• mypy
• Call-by-name gradual type theory
• Migrating gradual types
• Foundations of dependent interoperability

This page was built for software: gradualizerDynamicSemantics