The following pages link to (Q3340118):
Displaying 23 items.
- Reusing and modifying rulebases by predicate substitution (Q676430) (← links)
- Region-based memory management (Q676777) (← links)
- Interpretations of recursively defined types (Q685350) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Finitely stratified polymorphism (Q1175334) (← links)
- On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
- Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus (Q1193590) (← links)
- Strictness analysis via abstract interpretation for recursively defined types (Q1193597) (← links)
- Extending the type checker of Standard ML by polymorphic recursion (Q1275627) (← links)
- Semi-unification of two terms in Abelian groups (Q1336738) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Nested session types (Q2233456) (← links)
- Safe typing of functional logic programs with opaque patterns and local bindings (Q2437797) (← links)
- APLicative Programming with Naperian Functors (Q2988659) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (Q3522067) (← links)
- Stratified polymorphism and primitive recursion (Q4704766) (← links)
- Higher-Ranked Annotation Polymorphic Dependency Analysis (Q5041115) (← links)
- Introduction to Type Theory (Q5191087) (← links)
- Intensional polymorphism in type-erasure semantics (Q5234277) (← links)
- Programming Languages and Systems (Q5493373) (← links)
- A constraint-based region inference algorithm (Q5941200) (← links)
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845) (← links)
