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: Encina:Alberto_de_la
Contributed to:
20072003
2001Wrote 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.
- PPDP-2003-EncinaP
- 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.