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 23 results in range #1 to #23.
- Distilling abstract machines: Label: en
- Krivine nets: Label: en
- Folding domain-specific languages: Label: en
- A relational framework for higher-order shape analysis: Label: en
- How to keep your neighbours in order: Label: en
- A theory of gradual effect systems: Label: en
- Refinement types for Haskell: Label: en
- Pattern matching without K: Label: en
- Homotopical patch theory: Label: en
- Functional programming for dynamic and large data with self-adjusting computation: Label: en
- Settable and non-interfering signal functions for FRP: Label: en
- Hindley-milner elaboration in applicative style: Label: en
- Safe zero-cost coercions for Haskell: Label: en
- Lem: Label: en
- Soft contract verification: Label: en
- Coeffects: Label: en
- Compositional semantics for composable continuations: Label: en
- Worker/wrapper/makes it/faster: Label: en
- Maximal sharing in the Lambda calculus with letrec: Label: en
- Romeo: Label: en
- Type-based parametric analysis of program families: Label: en
- SeLINQ: Label: en
- Concurrent NetCore: Label: en
