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 × Denmark
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:
E.Visser W.Taha T.Sheard A.P.Tolmach P.Lescanne K.H.Rose E.Moggi
Talks about:
strategi (2) program (2) rewrit (2) substitut (1) explicit (1) simpler (1) languag (1) express (1) axiomat (1) safeti (1)

Person: Zine-El-Abidine Benaissa

DBLP DBLP: Benaissa:Zine=El=Abidine

Contributed to:

ESOP 19991999
ICALP 19981998
ICFP 19981998
WRLA 19981998
PLILP 19961996

Wrote 5 papers:

ESOP-1999-MoggiTBS #ml
An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.
ICALP-1998-TahaBS #axiom #multi #programming #type safety
Multi-Stage Programming: Axiomatization and Type Safety (WT, ZEAB, TS), pp. 918–929.
Building Program Optimizers with Rewriting Strategies (EV, ZEAB, APT), pp. 13–26.
A core language for rewriting (EV, ZEAB), pp. 422–441.
PLILP-1996-BenaissaLR #modelling #recursion #reduction #using
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution (ZEAB, PL, KHR), pp. 393–407.

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.