DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Refinement type
Refinement type
Gradual Liquid Type Inference
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Refinement Types for ML
UC San Diego UC San Diego Previously Published Works
Umltmprofile for Schedulability, Performance, and Time Specification
Refinement Session Types
Generative Contracts
Local Refinement Typing
Substructural Typestates
Refinement Type Inference Via Horn Constraint Optimization⋆
1 Refinement Types
Refinement Types for Secure Implementations
Refinement Types for Secure Implementations
Towards Vertical Impact Analysis of UML Models Tao
Floating Point
Abstract Refinement Types
3D Tiles Specification 1.0
Refinement Types for Secure Implementations
Top View
Type Reconstruction for General Refinement Types
Practical Refinement-Type Checking
A Relational Framework for Higher-Order Shape Analysis
Universidad De Chile Facultad De Ciencias Físicas Y Matem´Aticas Departamento De Ciencias De La Computaci´On Empirically-Driv
Type Refinements
Refinement Kinds
Nested Refinement Types for Javascript
Data Flow Refinement Type Inference
Refinement Types for TLA+
Refinement Types for Ruby
A Affine Refinement Types for Secure Distributed Programming
Extensible Datasort Refinements
Gradual Refinement Types
View Publication
Integrating Expressiveness Of
Programming with a Read-Eval-Synth Loop
Type Refinement Systems and the Categorical Perspective on Type Theory
Type Reconstruction for General Refinement Types
Refinement Types for Cogent Blaise Paradeza
Resource-Guided Program Synthesis
Transformation of a Core Scenario Model and Activity Diagrams Into Petri Nets
Typed Adapton: Refinement Types for Nominal Memoization
Data Flow Refinement Type Inference Technical Report
Refinement Types, Annotated Bibliography
Refinement Types for Haskell
Principles and Applications of Refinement Types
An Integrated Theory of Type-Based Static and Dynamic Verification
Refinement Types for Typescript
Logical Foundations of Secure Resource Management in Protocol Implementations
Refinement Types for Typescript
Liquid Resource Types 106:3
The Concept of Transprecision Computing
Refinement Types for Typescript
Program Synthesis from Polymorphic Refinement Types
Safe Stream-Based Programming with Refinement Types
The Design and Implementation of Typed Scheme: from Scripts to Programs?
Principles of Type Refinement
Refinement Types for Typescript
Learning Refinement Types
Refinement Types for Incremental Computational Complexity