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 17 results in range #1 to #17.
- Subtyping and intersection types revisited: Label: en
- Call-pattern specialisation for Haskell programs: Label: en
- A type system for recursive modules: Label: en
- Lazy call-by-value evaluation: Label: en
- A generic usage analysis with subeffect qualifiers: Label: en
- Type-safe higher-order channels in ML-like languages: Label: en
- Compiling with continuations, continued: Label: en
- A type directed translation of MLF to system F: Label: en
- Inductive reasoning about effectful data types: Label: en
- Relating complexity and precision in control flow analysis: Label: en
- Termination analysis and call graph construction for higher-order functional programs: Label: en
- Tangible functional programming: Label: en
- Bidirectionalization transformation based on automatic derivation of view complement functions: Label: en
- On Barron and Strachey's cartesian product function: Label: en
- Extensible pattern matching via a lightweight language extension: Label: en
- Program-ing finger trees in C <scp>oq</scp>: Label: en
- Ott: Label: en
