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 26 results in range #1 to #26.
- Witnessing side-effects: Label: en
- AtomCaml: Label: en
- A step-indexed model of substructural state: Label: en
- Combining programming with theorem proving: Label: en
- Dynamic optimization for functional reactive programming using generalized algebraic data types: Label: en
- Recursive type generativity: Label: en
- An expressive language of signatures: Label: en
- Acute: Label: en
- The anatomy of a loop: Label: en
- Aspectual Caml: Label: en
- Poly AML: Label: en
- Monadic augment and generalised short cut fusion: Label: en
- A logical analysis of aliasing in imperative higher-order functions: Label: en
- A language-based approach to functionally correct imperative programming: Label: en
- Modular verification of concurrent assembly code with dynamic thread creation and termination: Label: en
- Associated type synonyms: Label: en
- Fast narrowing-driven partial evaluation for inductively sequential programs: Label: en
- Continuations from generalized stack inspection: Label: en
- Scrap your boilerplate with class: Label: en
- Backtracking, interleaving, and terminating monad transformers: Label: en
- Scrap your nameplate: Label: en
- High-level views on low-level representations: Label: en
- Type inference, principal typings, and let-polymorphism for first-class mixin modules: Label: en
- Qualified types for MLF: Label: en
- Simple, partial type-inference for System F based on type-containment: Label: en
- A principled approach to operating system construction in Haskell: Label: en
