BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
2 × Sweden
Collaborated with:
R.Peña L.Llana F.Rubio M.Hidalgo-Herrero
Talks about:
machin (2) stg (2) intermedi (1) structur (1) parallel (1) function (1) languag (1) correct (1) observ (1) formal (1)

Person: Alberto de la Encina

DBLP DBLP: Encina:Alberto_de_la

Contributed to:

PPDP 20072007
PPDP 20032003
IFL 20012001

Wrote 3 papers:

PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel
Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
Formally deriving an STG machine (AdlE, RP), pp. 102–112.
IFL-2001-EncinaP #correctness #proving
Proving the Correctness of the STG Machine (AdlE, RP), pp. 88–104.

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.