Travelled to:1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:B.C.Ruiz J.E.Gallardo Sven Charleer Kathrin Gerling Hans Cauwenbergh Bram Luycx Katrien Verbert
Talks about:sequent (2) system (2) type (2) pure (2) cut (2) dashboard (1) structur (1) dispatch (1) calculus (1) support (1)
Person: Francisco Gutiérrez
DBLP: Guti=eacute=rrez:Francisco
Contributed to:
2003
2002
1997
2018Wrote 4 papers:
- ICALP-2003-GutierrezR #calculus #type system
- Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems (FG, BCR), pp. 956–968.
- LOPSTR-2002-GutierrezR #calculus #type system #verification
- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene (FG, BCR), pp. 17–31.
- PLILP-1997-GallardoGR #concurrent #haskell #inheritance
- Inheritance and Selective Methods Dispatching in Concurrent Haskell (JEG, FG, BCR), pp. 33–46.
- CHI-PLAY-2018-CharleerGGCLV #realtime
- Real-Time Dashboards to Support eSports Spectating (SC, KG, FG, HC, BL, KV), pp. 59–71.