The following pages link to Nikhil Swamy (Q2819800):
Displayed 10 items.
- Safe & Efficient Gradual Typing for TypeScript (Q2819802) (← links)
- Dependent types and multi-monadic effects in F* (Q2828265) (← links)
- Fully abstract compilation to JavaScript (Q2931813) (← links)
- Self-certification (Q2942906) (← links)
- Secure distributed programming with value-dependent types (Q5176981) (← links)
- Dijkstra monads for free (Q5370885) (← links)
- Secure distributed programming with value-dependent types (Q5398328) (← links)
- Probabilistic relational verification for cryptographic implementations (Q5408416) (← links)
- Gradual typing embedded securely in JavaScript (Q5408437) (← links)
- Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (Q6091296) (← links)