An Implementation of Subtyping Among Regular Expression Types
No abstract available.
Related papers
- Regular expression types for XML TOPLAS 2005
- Regular Expression Subtyping for XML Query and Update Languages ESOP 2008
- Regular expression types for XML ICFP 2000
- A Computational Interpretation of Context-Free Expressions APLAS 2017
- Study of the subtyping machine of nominal subtyping with variance OOPSLA 2021
- Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types TOPLAS 2022
- Asynchronous Subtyping by Trace Relaxation TACAS 2024
- Polymorphic regular tree types and patterns POPL 2006