## Ken-etsu Fujita

*Explicitly Typed λμ-Calculus for Polymorphism an Call-by-Value*

TLCA, 1999.

@inproceedings{TLCA-1999-Fujita, author = "Ken-etsu Fujita", booktitle = "{Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-48959-2_13", isbn = "3-540-65763-0", pages = "162--176", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Explicitly Typed λμ-Calculus for Polymorphism an Call-by-Value}", volume = 1581, year = 1999, }