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 × Denmark
2 × Germany
2 × The Netherlands
Collaborated with:
K.Langendoen H.McEvoy B.v.Es D.Tromp M.J.Butler E.d.Jong M.Longley
Talks about:
function (2) languag (2) local (2) lazi (2) transform (1) implement (1) conscious (1) benchmark (1) transact (1) multiset (1)

Person: Pieter H. Hartel

DBLP DBLP: Hartel:Pieter_H=

Facilitated 2 volumes:

PLILP 1997Ed
FPLE 1995Ed

Contributed to:

FME 20012001
FPLE 19951995
PPDP 19951995
FPCA 19931993
CC 19921992

Wrote 5 papers:

FME-2001-HartelBJL #memory management #smarttech
Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.
FPLE-1995-HartelET #proving #student
Basic Proof Skills of Computer Science Students (PHH, BvE, DT), pp. 269–287.
PLILP-1995-McEvoyH #linear #locality #logic #multi
Local Linear Logic for Locality Consciousness in Multiset Transformation (HM, PHH), pp. 357–379.
FPCA-1993-HartelL #benchmark #functional #implementation #lazy evaluation #metric
Benchmarking Implementations of Lazy Functional Languages (PHH, KL), pp. 341–349.
CC-1992-LangendoenH #code generation #functional #lazy evaluation #named
FCG: A Code Generator for Lazy Functional Languages (KL, PHH), pp. 278–296.
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.