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 24 results in range #1 to #24.
- Type checking with open type functions: Label: en
- The power of Pi: Label: en
- AURA: Label: en
- Typed iterators for XML: Label: en
- FLUX: Label: en
- Quotient lenses: Label: en
- Functional netlists: Label: en
- Compiling self-adjusting programs with continuations: Label: en
- Mixin' up the ML module system: Label: en
- FPH: Label: en
- HMF: Label: en
- Deciding k CFA is complete for EXPTIME: Label: en
- Pattern minimization problems over recursive data types: Label: en
- Space profiling for parallel functional programs: Label: en
- Ynot: Label: en
- Functional translation of a calculus of capabilities: Label: en
- Functional pearl: Label: en
- Write it recursively: Label: en
- Typed closure conversion preserves observational equivalence: Label: en
- Parametric higher-order abstract syntax for mechanized semantics: Label: en
- Transactional events for ML: Label: en
- Generic discrimination: Label: en
- A type-preserving compiler in Haskell: Label: en
- From ML to ML F: Label: en
