Exploring Popl 23 Conditional Contextual Refinement
Exploring Popl 23 Conditional Contextual Refinement reveals several interesting facts.
- [
- [Session Previews @
- Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ...
- Models based on potential outcomes, also known as counterfactuals, were introduced by Neyman (1923) and later applied to ...
- Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment (Video,
In-Depth Information on Popl 23 Conditional Contextual Refinement
[ [ [ Explicit
Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: https://dl.acm.org/doi/pdf/10.1145/3434314 User-defined ...
Stay tuned for more updates related to Popl 23 Conditional Contextual Refinement.