Publications index

G. Ramalingam

January 1993

PhD Thesis: University of Wisconsin at Madison | January 1993

Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland

Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA) | January 1993

Richard Korf, Max Chickering

In Proceedings of the AAAI Fall Symposium on Games: Planning and Learning | January 1993

J. A. Williamson, R. K. Webb, Abigail Sellen, W. B. Runciman, J. H. Van Der Walt

Anaesthesia & Intensive Care | January 1993, Vol 21(5): pp. 678-683

Simonetta Montemagni, Lucy Vanderwende

Natural Language Processing: The PLNLP Approach, Chapter 12, Editors Karen Jensen, George E. Heidorn, Stephen D. Richardson | Published by Kluwer International Series in Engineering and Computer Science | 1993

Dinei Florencio

ICASSP | January 1993

Christopher Bishop

IEEE Transactions on Neural Networks | January 1993, Vol 4: pp. 882-884

David Lomet

January 1993

Martin Abadi, Luca Cardelli, Pierre-Louis Curien

January 1993, pp. 157-170

Conf. Record 20th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL'93, Charleston, SC

Paul A. Viola

AI-TR-1548 | January 1993

Proceedings of the 2000 Haskell Workshop, Montreal