Sciweavers

13306 search results - page 108 / 2662
» Theoretical Computer Science
Sort
View
TLCA
2007
Springer
15 years 10 months ago
The Safe Lambda Calculus
William Blum, C.-H. Luke Ong
91
Voted
ACMSE
2005
ACM
15 years 10 months ago
An experimental evaluation of a distributed Java compiler
Andrew R. Dalton, Cindy Norris
FOCS
2003
IEEE
15 years 10 months ago
On the (In)security of the Fiat-Shamir Paradigm
Shafi Goldwasser, Yael Tauman Kalai