Sciweavers

365 search results - page 13 / 73
» Types for Safe Locking
Sort
View
ENTCS
2006
97views more  ENTCS 2006»
15 years 2 months ago
A Type-Safe Embedding of XDuce into ML
Martin Sulzmann, Kenny Zhuo Ming Lu
76
Voted
JOT
2007
92views more  JOT 2007»
15 years 2 months ago
Just: Safe Unknown Types in Java-like Languages
Giovanni Lagorio, Elena Zucca
SPE
1998
72views more  SPE 1998»
15 years 2 months ago
Type-Safe Casting
Wilson C. Hsieh, Marc E. Fiuczynski, Przemyslaw Pa...
106
Voted
CASC
2010
Springer
149views Mathematics» more  CASC 2010»
15 years 20 days ago
Generic, Type-Safe and Object Oriented Computer Algebra Software
Heinz Kredel, Raphael Jolly