gradualizerDynamicSemantics

MaRDI QIDQ33504swMATHFDO

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

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

Cited in

(18)

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

This page was built for software: gradualizerDynamicSemantics