A Probabilistic Approach to the Problem of Automatic Selection of Data Representations (1996)

View PDF

Download Links

by Tyng-Ruey Chuang , Wen L. Hwang
Venue:In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming
Citations:6 - 3 self

Documents Related by Co-Citation

1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
735 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
1306 The temporal logic of programs – A Pnueli - 1977
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
762 Introduction to Metamathematics – S C Kleene
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
1602 The C++ Programming Language – Bjarne Stroustrup - 1995