Stella: a statically typed extensible language for learning ACCPA
General
About
Language Core
Introduction
Features
Examples
Language Extensions
Overview
Syntax and Derived Forms
Evaluation Strategies
Base Types
Simple Types
References
Exceptions
Pattern Matching
Subtyping
Objects
Recursive Types
Universal Types
Stella: a statically typed extensible language for learning ACCPA
Language Extensions
Recursive Types
Recursive Type Extensions
« Previous
Next »