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 25 results in range #1 to #25.
- Complete and decidable type inference for GADTs: Label: en
- A theory of typed coercions and its applications: Label: en
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform: Label: en
- Automatically RESTful web applications: Label: en
- Control-flow analysis of function calls and returns by abstract interpretation: Label: en
- A concurrent ML library in concurrent Haskell: Label: en
- Parallel concurrent ML: Label: en
- Attribute grammars fly first-class: Label: en
- Generic programming with fixed points for mutually recursive datatypes: Label: en
- Identifying query incompatibilities with evolving XML schemas: Label: en
- OXenstored: Label: en
- Beautiful differentiation: Label: en
- Free theorems involving type constructor classes: Label: en
- Partial memoization of concurrency and communication: Label: en
- Finding race conditions in Erlang with QuickCheck and PULSE: Label: en
- Non-parametric parametricity: Label: en
- A universe of binding and computation: Label: en
- Biorthogonality, step-indexing and compiler correctness: Label: en
- Experience report: Label: en
- Effective interactive proofs for higher-order imperative programs: Label: en
- Runtime support for multicore Haskell: Label: en
- Causal commutative arrows and their optimization: Label: en
- Safe functional reactive programming through dependent types: Label: en
- Purely functional lazy non-deterministic programming: Label: en
- Functional pearl: Label: en
