Sage

MaRDI QIDQ41787swMATHFDO

Official website http://dept.cs.williams.edu/~freund/papers/htc-sage.pdf

Cited in

(10)

• How to evaluate the performance of gradual type systems
• Stabilizer
• Thorn
• Pycket
• Stardust
• Bigloo
• Flow
• 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