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

Testing noninterference, quickly: Label: en
Optimizing abstract abstract machines: Label: en
Complete and easy bidirectional typechecking for higher-rank polymorphism: Label: en
Calculating threesomes, with blame: Label: en
A practical theory of language-integrated query: Label: en
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency: Label: en
Hoare-style reasoning with (algebraic) continuations: Label: en
Modular and automated type-soundness verification for language extensions: Label: en
Modular monadic meta-theory: Label: en
Structural recursion for querying ordered graphs: Label: en
Simple and compositional reification of monadic embedded languages: Label: en
The constrained-monad problem: Label: en
System FC with explicit kind equality: Label: en
Weak optimality, and the meaning of sharing: Label: en
Using circular programs for higher-order syntax: Label: en
A short cut to parallelization theorems: Label: en
Functional reactive programming with liveness guarantees: Label: en
Higher-order functional reactive programming without spacetime leaks: Label: en
Unifying structured recursion schemes: Label: en
Productive coprogramming with guarded recursion: Label: en
Wellfounded recursion with copatterns: Label: en
Correctness of an STM Haskell implementation: Label: en
Handlers in action: Label: en
Programming and reasoning with algebraic effects and dependent types: Label: en
Functional geometry and the Traité de Lutherie: Label: en
Efficient divide-and-conquer parsing of practical context-free languages: Label: en
Fun with semirings: Label: en
Mtac: Label: en
Typed syntactic meta-programming: Label: en
Type-theory in color: Label: en
Optimising purely functional GPU programs: Label: en
Exploiting vector instructions with generalized stream fusion: Label: en
Automatic SIMD vectorization for Haskell: Label: en
C-SHORe: Label: en
Verified decision procedures for MSO on words based on derivatives of regular expressions: Label: en