Sciweavers

365 search results - page 13 / 73
» Types for Safe Locking
Sort
View
ENTCS
2006
97views more  ENTCS 2006»
13 years 8 months ago
A Type-Safe Embedding of XDuce into ML
Martin Sulzmann, Kenny Zhuo Ming Lu
JOT
2007
92views more  JOT 2007»
13 years 8 months ago
Just: Safe Unknown Types in Java-like Languages
Giovanni Lagorio, Elena Zucca
SPE
1998
72views more  SPE 1998»
13 years 8 months ago
Type-Safe Casting
Wilson C. Hsieh, Marc E. Fiuczynski, Przemyslaw Pa...