Frank Pfenning

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and head of the Computer Science Department at Carnegie Mellon University. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Frank Pfenning', query time: 0.04s Refine Results
  1. 1
    A Message-Passing Interpretation of Adjoint Logic
    by Klaas Pruiksma, Frank Pfenning
    Published 2019-04-01
    Get full text
    Article
  2. 2
    Intersections and Unions of Session Types
    by Coşku Acay, Frank Pfenning
    Published 2017-02-01
    Get full text
    Article
  3. 3
    Design and Implementation of Concurrent C0
    by Max Willsey, Rokhini Prabhu, Frank Pfenning
    Published 2017-01-01
    Get full text
    Article
  4. 4
    Non-Blocking Concurrent Imperative Programming with Session Types
    by Miguel Silva, Mário Florido, Frank Pfenning
    Published 2017-01-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search