Nishizaki94'

BibTeX

@inproceedings{DBLP:conf/birthday/Nishizaki94,
  author    = {Shin-ya Nishizaki},
  title     = {ML with First-Class Environments and its Type Inference
               Algorithm},
  booktitle = {Logic, Language and Computation},
  year      = {1994},
  pages     = {95-116},
  crossref  = {DBLP:conf/birthday/1994takasu},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/1994takasu,
  editor    = {Neil D. Jones and
               Masami Hagiya and
               Masahiko Sato},
  title     = {Logic, Language and Computation, Festschrift in Honor of
               Satoru Takasu},
  booktitle = {Logic, Language and Computation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {792},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}