Entity usage

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 32 results in range #1 to #32.

Practical SMT-based type error localization: Label: en
Learning refinement types: Label: en
Expressing contract monitors as patterns of communication: Label: en
Blame assignment for higher-order contracts with intersection and union: Label: en
Efficient communication and collection with compact normal forms: Label: en
Functional pearl: a smart view on datatypes: Label: en
RRB vector: a practical general purpose immutable sequence: Label: en
A fast compiler for NetKAT: Label: en
Certified symbolic management of financial multi-party contracts: Label: en
Practical principled FRP: forget the past, change the future, FRPNow!: Label: en
HLIO: mixing static and dynamic typing for information-flow control in Haskell: Label: en
Functional pearl: two can keep a secret, if one of them uses Haskell: Label: en
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem: Label: en
Elaborating evaluation-order polymorphism: Label: en
Which simple types have a unique inhabitant?: Label: en
Partial aborts for transactions via first-class continuations: Label: en
Adaptive lock-free maps: purely-functional to scalable: Label: en
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code: Label: en
Foundational extensible corecursion: a proof assistant perspective: Label: en
A unification algorithm for Coq featuring universe polymorphism and overloading: Label: en
Pilsner: a compositionally verified compiler for a higher-order imperative language: Label: en
Analysing the complexity of functional programs: higher-order meets first-order: Label: en
Denotational cost semantics for functional languages with inductive types: Label: en
Structures for structural recursion: Label: en
Algebras and coalgebras in the light affine Lambda calculus: Label: en
Noninterference for free: Label: en
XQuery and static typing: tackling the problem of backward axes: Label: en
Hygienic resugaring of compositional desugaring: Label: en
Applicative bidirectional programming with lenses: Label: en
Bounded refinement types: Label: en
1ML – core and modules united (F-ing first-class modules): Label: en
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness: Label: en