Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 29 results in range #1 to #29.
- Specifying and verifying sparse matrix codes: Label: en
- Fortifying macros: Label: en
- A fresh look at programming with names and binders: Label: en
- Bidirectionalizing graph transformations: Label: en
- Matching lenses: Label: en
- Combining syntactic and semantic bidirectionalization: Label: en
- Security-typed programming within dependently typed programming: Label: en
- Distance makes the types grow stronger: Label: en
- The impact of higher-order state and control effects on local relational reasoning: Label: en
- Higher-order representation of substructural logics: Label: en
- Logical types for untyped languages: Label: en
- Semantic subtyping with an SMT solver: Label: en
- Lazy tree splitting: Label: en
- Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators: Label: en
- Abstracting abstract machines: Label: en
- Lolliproc: Label: en
- ReCaml: Label: en
- Functional pearl: Label: en
- The gentle art of levitation: Label: en
- Instance chains: Label: en
- A play on regular expressions: Label: en
- Parametricity and dependent types: Label: en
- VeriML: Label: en
- Program verification through characteristic formulae: Label: en
- Rethinking supercompilation: Label: en
- Scrapping your inefficient engine: Label: en
- Total parser combinators: Label: en
- A certified framework for compiling and executing garbage-collected languages: Label: en
- Regular, shape-polymorphic, parallel arrays in Haskell: Label: en
