DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Polymorphic recursion
Polymorphic recursion
Structured Recursion for Non-Uniform Data-Types
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Quantified Types in an Imperative Language
Region-Based Memory Management in Cyclone ∗
Region Inference for an Object-Oriented Language
Levity Polymorphism Richard A
A Polymorphic Aspect-Oriented Functional Programming Language
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Region-Based Memory Management1
Polymorphism and Type Inference
Unifying Functional Programming and Logical Reasoning in a Language Based on Mendler-Style Recursion Schemes and Term-Indexed Types
ISOLATE: a Type System for Self-Recursion (Extended Version)
Top View