- Home
- » Tags
- » Nominal type system
Top View
- Types in the Modelica Language
- Future Programming Paradigms in the Automotive Industry Ττσσ
- Metaprogramming with Traits
- SMT-Based Static Type Inference for Python 3
- A Calculus for Constraint-Based Flow Typing
- Integrating Nominal and Structural Subtyping
- Polytypic Functional Programming and Data Abstraction
- Safe Model Polymorphism for Flexible Modeling Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel
- Classless Object Semantics
- Resource-Aware Session Types for Digital Contracts
- Software Design Pattern 1 Software Design Pattern
- Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages ∗
- A Type-Safe Object-Oriented Model for Distributed Concurrent Systems Einar Broch Johnsen∗, Olaf Owe, Ingrid Chieh Yu
- Typed Dataspace Actors
- Programming Languages
- Type-Safe Prototype-Based Component Evolution
- Sound Gradual Typing Is Nominally Alive and Well
- Metaprogramming with Traits
- Extending Dylan's Type System for Better Type Inference and Error
- Induction, Coinduction, and Fixed Points in Programming Languages (PL) Type Theory
- Benjamin Evans, David Flanagan — «Java in a Nutshell
- Chocopy: a Programming Language for Compilers Courses
- N2906=0900096
- A Nominal Theory of Objects with Dependent Types
- Type Inference with Deferral
- Type Inference for C: Applications to the Analysis of Incomplete Programs / Leandro Terra Cunha Melo — Belo Horizonte, 2019