Type Inference for Session Types in the \pi -calculus (original) (raw)
Related papers
Using Session Types for Reasoning About Boundedness in the Pi-Calculus
Electronic Proceedings in Theoretical Computer Science, 2017
A generic type system for the Pi-calculus
Theoretical Computer Science, 2004
Type-based information flow analysis for the π-calculus
Acta Informatica, 2005
A pi-calculus with dynamic typing
Session Type Inference in Haskell
2011
Type Reconstruction for Linear π-Calculus with I/O Subtyping
Information and Computation, 2000
Type Processing by Constraint Reasoning
Lecture Notes in Computer Science, 2006
Session Types as Generic Process Types
Electronic Proceedings in Theoretical Computer Science, 2014
A Rewriting Logic Approach to Type Inference
Lecture Notes in Computer Science, 2009
Type checking a multithreaded functional language with session types
Theoretical Computer Science, 2006
Type inference with constrained types
Theory and Practice of Object Systems, 1999
Non-standard type inference for functional programs
1998
Type Inference by Coinductive Logic Programming
Lecture Notes in Computer Science, 2009
A Calculus for Type Predicates and Type Coercion
Lecture Notes in Computer Science, 2005
Types and full abstraction for polyadic π-calculus
Information and Computation, 2005
A Rewriting Logic Approach to Type Inference: Technical Report
Type-Checking and Normalisation By Evaluation for Dependent Type Systems
Explicit Substitutions for Contextual Type Theory
Electronic Proceedings in Theoretical Computer Science, 2010
Operational semantics and type system for Gnome on Typed Calculus of Objects
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
2008
Calculating Projections via Type Checking
to appear in the Proceedings of TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.
Interactive programs in dependent type theory
2000
The π-Calculus in Direct Style
1998
Typing and Subtyping for an Object-Oriented Process Algebra
2002
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
2021
2015
Type Inference via Constraint Abduction for EADTs
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
Functional and Constraint Logic Programming, 2010
A Type System for Lock-Free Processes
Information and Computation, 2002
2005
More Precise Yet Efficient Type Inference for Logic Programs
Lecture Notes in Computer Science, 2002
A correspondence between type checking via reduction and type checking via evaluation
Information Processing Letters, 2012
Minimal Session Types (Extended Version)
2019
Session types for inter-process communication
2003
Implementing type theory in higher order constraint logic programming
Mathematical Structures in Computer Science