Pages that link to "Item:Q3184729"
From MaRDI portal
The following pages link to A Rewriting Logic Approach to Type Inference (Q3184729):
Displaying 15 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Rewrite systems on a lattice of types (Q1064065) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- (Q4206388) (← links)
- (Q4234966) (← links)
- An Extension of the Formulas-as-Types Paradigm (Q4252864) (← links)
- (Q4858947) (← links)
- Optimizing optimal reduction (Q5277747) (← links)
- (Q5309417) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules (Q6079228) (← links)