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:
F.Gutiérrez J.E.Gallardo
Talks about:
sequent (2) system (2) type (2) pure (2) cut (2) structur (1) dispatch (1) calculus (1) postpon (1) inherit (1)

Person: Blas C. Ruiz

DBLP DBLP: Ruiz:Blas_C=

Contributed to:

ICALP 20032003
LOPSTR 20022002
PLILP 19971997

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

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.