DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Structural type system
Structural type system
Typescript Language Specification
Typescript-Handbook.Pdf
Comparative Studies of Programming Languages; Course Lecture Notes
Context-Aware Programming Languages
Semantic Casts Contracts and Structural Subtyping in a Nominal World
03 a Pril , 2011 S Aarbrücken , G Ermany
Concrete Types for Typescript
Gradual Typing for Smalltalk
University of Southampton Research Repository Eprints Soton
UC Santa Cruz UC Santa Cruz Electronic Theses and Dissertations
Typed First-Class Traits
Universidad De Chile Facultad De Ciencias Físicas Y Matem´Aticas Departamento De Ciencias De La Computaci´On Empirically-Driv
Brand Objects for Nominal Typing
FICO Corporate Template
Session Types with Arithmetic Refinements and Their Application to Work Analysis
Gradual Typing for Smalltalk Esteban Allende, Oscar Callau, Johan Fabry, Éric Tanter, Marcus Denker
Subtyping: Overview and Implementation CS5218: Principles of Program Analysis
Structural and Flow-Sensitive Types for Whiley
Top View
Understanding Typescript
Checking Correctness of Typescript Interfaces for Javascript Libraries
A Mechanical Soundness Proof for Subtyping Over Recursive Types
Types in the Modelica Language
Context-Free Session Type Inference Luca Padovani
SMT-Based Static Type Inference for Python 3
A Calculus for Constraint-Based Flow Typing
Integrating Nominal and Structural Subtyping
Statically Typed Programming Languages in the Javascript Ecosystem: a Type System Perspective
Combining Structural Subtyping and External Dispatch
A Theory of Substructural Types and Control
Brand Objects for Nominal Typing
Programming Languages
Typescript-In-50-Lessons.Pdf
Affine Contracts for Affine Types
Sound Gradual Typing Is Nominally Alive and Well
Induction, Coinduction, and Fixed Points in Programming Languages (PL) Type Theory
The Problem of Structural Type Tests in a Gradual-Typed Language
A Programmable Programming Language
6 Concepts of Behavioral Subtyping and a Sketch of Their Extension to Component-Based Systems Gary T