Search Results - Santurkar, Ishani

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Resource-Aware Session Types for Digital Contracts

    Resource-Aware Session Types for Digital Contracts by Das, Ankush, Balzer, Stephanie, Hoffmann, Jan, Pfenning, Frank, Santurkar, Ishani

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Resource-Aware Session Types for Digital Contracts

    Resource-Aware Session Types for Digital Contracts by Das, Ankush, Balzer, Stephanie, Hoffmann, Jan, Pfenning, Frank, Santurkar, Ishani

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: