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 × Belgium
1 × Canada
1 × France
1 × Germany
1 × Italy
1 × Serbia
1 × The Netherlands
1 × USA
2 × United Kingdom
Collaborated with:
G.Barthe S.Etalle C.Kop
Talks about:
rewrit (4) system (3) higher (3) order (3) program (2) algebra (2) termin (2) logic (2) superdevelop (1) constructor (1)

Person: Femke van Raamsdonk

DBLP DBLP: Raamsdonk:Femke_van

Facilitated 1 volumes:

RTA 2013Ed

Contributed to:

RTA 20112011
RTA 20012001
FoSSaCS 20002000
ICLP 19991999
RTA 19991999
JICSLP 19981998
ALP/HOA 19971997
ICLP 19971997
TLCA 19971997
RTA 19931993

Wrote 10 papers:

RTA-2011-KopR #algebra #dependence #functional #higher-order
Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.
RTA-2001-Raamsdonk #higher-order #on the #termination
On Termination of Higher-Order Rewriting (FvR), pp. 261–275.
FoSSaCS-2000-BartheR #calculus #induction #type system
Constructor Subtyping in the Calculus of Inductive Constructions (GB, FvR), pp. 17–34.
ICLP-1999-EtalleR #logic programming
Logic Programming with Requests (SE, FvR), pp. 558–572.
RTA-1999-Raamsdonk #higher-order
Higher-Order Rewriting (FvR), pp. 220–239.
Beyond Success and Failure (SE, FvR), pp. 190–205.
ALP-1997-BartheR #algebra #approach #termination #type system
Termination of Algebraic Type Systems: The Syntactic Approach (GB, FvR), pp. 174–193.
ICLP-1997-Raamsdonk #logic programming #source code #term rewriting
Translating Logic Programs into Conditional Rewriting Systems (FvR), pp. 168–182.
Outermost-Fair Rewriting (FvR), pp. 284–299.
RTA-1993-Raamsdonk #confluence
Confluence and Superdevelopments (FvR), pp. 168–182.

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.