Session Types with Arithmetic Refinements and Their Application to Work Analysis

23 Jan 2020 Das Ankush Pfenning Frank

Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. However, simple session types cannot specify properties beyond the type of exchanged messages... (read more)

PDF Abstract

Categories


  • PROGRAMMING LANGUAGES
  • LOGIC IN COMPUTER SCIENCE