Behavioral Compatibility of Self-Typed Theories
No abstract available.
DOI 10.1007/3-540-47993-7_25
Related papers
- A consistent semantics of self-adjusting computation JFP 2013
- A theory of contracts for Web services TOPLAS 2009
- Objective ML: A Simple Object-Oriented Extension of ML POPL 1997
- VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification CAV 2026
- Formal microeconomic foundations and the first welfare theorem CPP 2018
- Functional programming for dynamic and large data with self-adjusting computation ICFP 2014
- Compatible Genericity with Run-Time Types for the Java Programming Language OOPSLA 1998
- Implicit self-adjusting computation for purely functional programs JFP 2014