Partial Evaluation of Call-by-value lambda-calculus with side-effects (bibtex)

by Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa

Reference:

Partial Evaluation of Call-by-value lambda-calculus with side-effects (Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa), Technical report 96–04, Department of Information Science, the University of Tokyo, 1996.

Bibtex Entry:

@techreport{asai96techrep,
  author = {Kenichi Asai and Hidehiko Masuhara and Akinori
		  Yonezawa},
  title = {Partial Evaluation of Call-by-value lambda-calculus
		  with side-effects},
  institution = {Department of Information Science, the University of Tokyo},
  year = 1996,
  number = {96--04},
  month = nov,
  keywords = {Black, Scheme}
}