Showing 1 - 2 results of 2 for search 'Mário Florido', query time: 0.03s Refine Results
  1. 1
    Non-Blocking Concurrent Imperative Programming with Session Types

    Non-Blocking Concurrent Imperative Programming with Session Types by Miguel Silva, Mário Florido, Frank Pfenning

    Published 2017-01-01
    Get full text
    Article
  2. 2
    Liquid Intersection Types

    Liquid Intersection Types by Mário Pereira, Sandra Alves, Mário Florido

    Published 2015-03-01
    Get full text
    Article

Search Tools: