Mathematics

Daan Leijen

July 2003

Short note about division definitions in programming languages

Marin Soljacic, Ken Steiglitz, Suzanne M. Sears, Mordechai Segev, Mariusz Jakubowski, Richard Squier

Physical Review Letters | June 2003, Vol 90

Andy Gordon, Alan Jeffrey

Theoretical Computer Science | May 2003, Vol 300(1): pp. 379-409

Laszlo Lovasz, Santosh Vempala

MSR-TR-2003-30 | April 2003

Cristiano Calcagno, Luca Cardelli, Andy Gordon

MSR-TR-2002-113 | January 2003

Published by Microsoft

A portion of this work appears in the proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, New Orleans, January 18, 2003.

Access

Russell Lyons, Yuval Peres, Oded Schramm

Ann. Inst. H. Poincaré Probab. Statist. | January 2003, Vol 39: pp. 779-791

Itai Benjamini, Gil Kalai, Oded Schramm

Ann. Probab. | January 2003, Vol 31: pp. 1970-1978

Laszlo Lovasz, Santosh Vempala

MSR-TR-2003-04 | January 2003

Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan

Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) | January 2003

Greg Lawler, Oded Schramm, Wendelin Werner

J. Amer. Math. Soc. | January 2003, Vol 16: pp. 917-955