D. Vytiniotis, G. Washburn, and S. Weirich. An open and shut typecase. In Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), Jan. 2005. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
No context found.
D. Vytiniotis, G. Washburn, and S. Weirich. An open and shut typecase. In Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), Jan. 2005.
Generics as a Library (Extended Abstract) - Oliveira, Hinze, Löh (Correct)
No context found.
Vytiniotis, D., Washburn, G., Weirich, S.: An open and shut typecase. In: TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, New York, NY, USA, ACM Press (2005) 13--24
Generics as a Library - Oliveira, Hinze, Löh (Correct)
No context found.
Vytiniotis, D., Washburn, G., Weirich, S.: An open and shut typecase. In: TLDI '05: Proceedings of the 2005.
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
No context found.
D. Vytiniotis, G. Washburn, and S. Weirich. An open and shut typecase. In International Conference on Functional Programming, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC