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 × 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 DBLP: Papaspyrou:Nikolaos

Contributed to:

PADL 20132013
POPL 20022002
PPDP 20002000
CAiSE 19961996

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.

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.