The following pages link to Aseem Rastogi (Q2819799):
Displayed 5 items.
- Safe & Efficient Gradual Typing for TypeScript (Q2819802) (← links)
- Dependent types and multi-monadic effects in F* (Q2828265) (← links)
- Dijkstra monads for free (Q5370885) (← links)
- Gradual typing embedded securely in JavaScript (Q5408437) (← links)
- Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (Q6091296) (← links)