`Travelled to:`

1 × Greece

1 × Italy

1 × USA

`Collaborated with:`

E.Todoran G.Fourtounis P.Rondogiannis V.C.Vescoukis E.Skordalakis Z.Shao B.Saha V.Trifonov

`Talks about:`

logic (2) transform (1) intension (1) implement (1) framework (1) parallel (1) function (1) support (1) softwar (1) program (1)

## Person: Nikolaos Papaspyrou

### DBLP: Papaspyrou:Nikolaos

### Contributed to:

### Wrote 4 papers:

- PADL-2013-FourtounisPR #functional #implementation #lazy evaluation
- The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
- POPL-2002-ShaoSTP #type system
- A type system for certified binaries (ZS, BS, VT, NP), pp. 217–232.
- PPDP-2000-TodoranP #continuation #logic programming #parallel
- Continuations for parallel logic programming (ET, NP), pp. 257–267.
- CAiSE-1996-VescoukisPS #evolution #framework #reasoning
- A Logic-Based Framework for Reasoning Support in Software Evolution (VCV, NP, ES), pp. 44–59.