Exploring A Simple Soundness Proof For Dependent Object Types
Let's dive into the details surrounding A Simple Soundness Proof For Dependent Object Types.
- Dependent types
- Consider an HTTP API that responds with different fields based on the
- Dependent types
- ... want to necessarily have it hard-coded and so this is this this this is what this was the motivation for
- Presenter: Julian Mackay Presented at POPL'20.
In-Depth Information on A Simple Soundness Proof For Dependent Object Types
Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták More info about this talk: ... Authors: Marianna Rapoport, Ond?ej Lhoták Presented at SPLASH 2019. f(by) 2020 Closing Keynote
A brief introduction to the concept of
That wraps up our extensive overview of A Simple Soundness Proof For Dependent Object Types.
