M\'ario Florido

Identifiers

• name variant M\'ario Florido 0.60 · backfill

Papers (3)

1. Non-Blocking Concurrent Imperative Programming with Session Types cs.LO · 2017 · author #2
2. CLP(H): Constraint Logic Programming for Hedges cs.LO · 2015 · author #2
3. Proceedings First International Workshop on Linearity cs.LO · 2010 · author #1

Mentions

• 1503.00336 #2 · backfill · confidence 0.70 M\'ario Florido
• 1003.5716 #1 · backfill · confidence 0.70 M\'ario Florido

Frequent Coauthors

• Besik Dundua 1 shared papers
• Frank Pfenning 1 shared papers
• Ian Mackie 1 shared papers
• Miguel Silva 1 shared papers
• Mircea Marin 1 shared papers
• Temur Kutsia 1 shared papers