Sage

swMATH30073MaRDI QIDQ41787FDOQ41787

Author name not available (Why is that?)

Cited In (4)

• How to evaluate the performance of gradual type systems
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Blame for all
• Space-efficient gradual typing

This page was built for software: Sage