gradualizerDynamicSemantics

MaRDI QIDQ33504swMATHFDO

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

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

Cited in

(18)

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

This page was built for software: gradualizerDynamicSemantics