BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Guti=eacute=rrez:Francisco

Contributed to:

ICALP 20032003
LOPSTR 20022002
PLILP 19971997
CHI PLAY 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.