@phdthesis{oai:tsukuba.repo.nii.ac.jp:00008744,
 author = {Hamada, Mohamed Esmail Ali},
 month = {},
 note = {Functional programming languages [80, 2, 7], based on λ-calculus [3, 12] and reduction, have properties such as deterministic evaluation and lazy evaluation.  On the other hand they lack some desirable properties such as existentially quantified variables and partial data structures.  ..., 1997},
 school = {筑波大学, University of Tsukuba},
 title = {Lazy conditional narrowing calculi and their implementation},
 year = {1998}
}