YALEU/DCS/TR1209 Type-Preserving Compilation of Featherweight Java
Chrisopher League
Valery Trifonov
Zhong Shao
March 2001
YALEU/DCS/TR1210 [.pdf] Secure Multiparty Computation of Approximations
Joan Feigenbaum
Yuval Ishay
Tal Malkin
Kobbi Nissim
Martin Strauss
Rebecca Wright
March 2001
YALEU/DCS/TR1211 A Type System for Certified Binary
Zhong Shao
Bratin Saha
Valery Trifonov
Nikolas Papaspyrou
YALEU/DCS/TR1212 [.pdf] Approximation and Collusion in Multicast Cost Sharing Sharing
Joan Feigenbaum
Arvind Krishnamurthy
Rahul Sami
Scott Shenker
April 2001
YALEU/DCS/TR1213 [.pdf] Prolate Spheroidal Wave Functions, Quadrature, Interpolation, and Asymtotic Formulae
Hong Xiao
May 2001
YALEU/DCS/TR1214 [.pdf] The Prisoner’s Dilemma and Predator-Prey Coevolution
Joel Pomerantz
Willard Miranker
August 2001
YALEU/DCS/TR1215 [.pdf] The Renormalization of Information
Willard Miranker
August 2001
YALEU/DCS/TR1216 High-Frequency Asymptotic Expansions for Certain Prolate Spheroidal Wave Functions
Hong Xiao
Vladimir Rokhlin
August 2001
YALEU/DCS/TR1217 Comparing Object Encodings for Typed Intermediate Languages
Christopher League
Valery Trifonov
September 2001
YALEU/DCS/TR1218
YALEU/DCS/TR1219 [.ps] Concrete Conjunctive Complexity of Symmetric Functions
Joan Boyar
Rene Peralta
Denis Pochuev
November 2001
YALEU/DCS/TR1220 [.ps] Fast Mixnets for Small Message Spaces
Rene Peralta
Sheng Zhong
November 2001
YALEU/DCS/TR1221 YALE FRP User’s Manual
Paul Hudak
November 2001