dhm91

B. Duba, R. Harper, D. MacQueen. Typing First-Class Continuations in ML. In Proc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida, Pages 163-173, January 1991.

Keyword

[ Parametricity ]

Contact

B. Duba
R. Harper
D. MacQueen

BibTex Reference

@InProceedings{dhm91,
   Author = {Duba, B. and Harper, R. and MacQueen, D.},
   Title = {Typing First-Class Continuations in ML},
   BookTitle = {Proc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida},
   Pages = {163--173},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)