Flow

swMATH31114MaRDI QIDQ42826FDOQ42826

Author name not available (Why is that?)

Cited In (2)

• Preemptive type checking
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

This page was built for software: Flow