Pages that link to "Item:Q1104071"
From MaRDI portal
The following pages link to Pebble, a kernel language for modules and abstract data types (Q1104071):
Displaying 10 items.
- Meta-circular interpreter for a strongly typed language (Q908683) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Generalization from partial parametrization in higher-order type theory (Q1122980) (← links)
- Type checking with universes (Q1177937) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- An ``executable'' impredicative semantics for the Ada configuration (Q2366693) (← links)
- Types for modules (Q2375744) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)