Pages that link to "Item:Q2819802"
From MaRDI portal
The following pages link to Safe \& efficient gradual typing for TypeScript (Q2819802):
Displaying 11 items.
- The role of concurrency in an evolutionary view of programming abstractions (Q890610) (← links)
- Preemptive type checking (Q1994367) (← links)
- Gradual typing using union typing with records (Q2133461) (← links)
- How to evaluate the performance of gradual type systems (Q4972071) (← links)
- Blame and coercion: Together again for the first time (Q5019015) (← links)
- An Integrated Approach to Assertion-Based Random Testing in Prolog (Q5097633) (← links)
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems (Q5370910) (← links)
- Gradual typing embedded securely in JavaScript (Q5408437) (← links)
- VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i> (Q6063866) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Gradual tensor shape checking (Q6535237) (← links)