Pages that link to "Item:Q2981951"
From MaRDI portal
The following pages link to Denotational cost semantics for functional languages with inductive types (Q2981951):
Displaying 9 items.
- Amortized complexity verified (Q670702) (← links)
- Attribute-Based Signatures for Circuits from Bilinear Map (Q2798779) (← links)
- Relational cost analysis in a functional-imperative setting (Q5020903) (← links)
- Migrating gradual types (Q5051992) (← links)
- Verified Root-Balanced Trees (Q5056001) (← links)
- Denotational semantics as a foundation for cost recurrence extraction for functional languages (Q5101922) (← links)
- (Q5111324) (← links)
- (Q5129941) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)