Jump to : Download | Keywords | Contact | BibTex reference | EndNote reference |

here95

Fritz Henglein, Jakob Rehof. Safe polymorphic type inference for a dynamically typed language: Translating Scheme to ML. In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture, Pages 192-203, New York, NY, USA, June 1995.

Download

Download paper: (link)

Download paper: Adobe portable document (pdf) pdf

Copyright notice:This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Keywords

[ Dyntyp ] [ Parametricity ]

Contact

Fritz Henglein
Jakob Rehof

BibTex Reference

@InProceedings{here95,
   Author = {Henglein, Fritz and Rehof, Jakob},
   Title = {Safe polymorphic type inference for a dynamically typed language: Translating {Scheme} to {ML}},
   BookTitle = {FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture},
   Pages = {192--203},
   Publisher = {ACM},
   Address = {New York, NY, USA},
   Month = {June},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)