DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Type constructor
Type constructor
Typescript Language Specification
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
Python Programming
Refinement Types for ML
Lecture Slides
Type System
Marshmallow-Annotations Documentation Release 2.4.1
Codata in Action
Fun with Phantom Types 5 R
Floating Point Computation (Slides 1–123)
First-Class Modules: Hidden Power and Tantalizing Promises
Polymorphic Subtyping in O'haskell
Generic Programming in OCAML
First-Class Type Classes
Parametric Type Classes
Basics of Type Theory and Coq
First-Class Polymorphism with Type Inference
Advanced Programming Language Features for Executable Design Patterns “Better Patterns Through Reflection”
Top View
The Langf Type System 1 Introduction 2 Langf Abstract Syntax
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
Type-Safe Cast
On Decidability of Nominal Subtyping with Variance
Adding Type Constructor Parameterization to Java
Meta-Programming with Names and Necessity
Datasets Stored on Disk, As If They Were Real Numpy Arrays
Refinement Kinds
University of Warwick Institutional Repository
Mypy Documentation Release 0.920+Dev.209A7193feb4bbfa38d09232b0a5a916e9d2e605.Dirty
Type Constructor
Type Theory and Category Theory
Replib: a Library for Derivable Type Classes
Type Constructor Classes
Design and Implementation of an Object-Oriented Functional Language
First-Class Subtypes
Extensible Programming with First-Class Cases
Session 6: Data Types and Representation