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 × Italy
1 × Spain
1 × USA
Collaborated with:
P.Nogueira I.Sergey J.J.Moreno-Navarro A.Gotsman Y.Meshman
Talks about:
correspond (2) normalis (2) function (2) abstract (2) syntact (2) between (2) semant (2) reduct (2) machin (2) deriv (2)

Person: Álvaro García-Pérez

DBLP DBLP: Garc=iacute=a-P=eacute=rez:=Aacute=lvaro

Contributed to:

PEPM 20142014
PEPM 20132013
PEPM 20132014
PPDP 20132013
ESOP 20182018

Wrote 5 papers:

PEPM-2014-Garcia-PerezNS #λ-calculus
Deriving interpretations of the gradually-typed λ calculus (ÁGP, PN, IS), pp. 157–168.
PEPM-2013-Garcia-PerezN #functional #reduction #semantics
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
PEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
PPDP-2013-Garcia-PerezNM #order #semantics
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.
ESOP-2018-Garcia-PerezGMS
Paxos Consensus, Deconstructed and Abstracted (ÁGP, AG, YM, IS), pp. 912–939.
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.