Concepedia

Zena M. Ariola

ZM

24

Publications

1K

Citations

19

H-Index

1989

Active since

Affiliations

University of Oregon(Current)

Indiana University Bloomington

Institut national de recherche en sciences et technologies du numérique

Centrum Wiskunde & Informatica

Microsoft Research (United Kingdom)

Zena M. Ariola is an author at University of Oregon specializing in formal methods, engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

1989–2020

24

Publications

24

A call-by-need lambda calculus

Zena M. Ariola, John Maraist, Martin Odersky et al. · 1995 · 247 citations

, , +14

The call-by-need lambda calculus

Zena M. Ariola, Matthias Felleisen · Journal of Functional Programming · 1997 · 171 citations · Full text

EQUATIONAL TERM GRAPH REWRITING

Zena M. Ariola, Jan Willem Klop · Fundamenta Informaticae · 1996 · 96 citations

Lambda Calculus with Explicit Recursion

Zena M. Ariola, Jan Willem Klop · Information and Computation · 1997 · 54 citations

, , +2

Cyclic lambda graph rewriting

Zena M. Ariola, Jan Willem Klop · 2002 · 52 citations

, , +16

Rows per page

1–5 of 24