Sage

swMATH30073MaRDI QIDQ41787FDOQ41787

Author name not available (Why is that?)

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
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Pycket
• Stardust
• Bigloo
• Flow
• Blame for all
• Space-efficient gradual typing

This page was built for software: Sage