Sciweavers

13734 search results - page 27 / 2747
» Abstractions of data types
Sort
View
FSEN
2007
Springer
15 years 10 months ago
Type Abstractions of Name-Passing Processes
Lucia Acciai, Michele Boreale
97
Voted
ADAEUROPE
2006
Springer
15 years 10 months ago
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
Javier Miranda, Edmond Schonberg
86
Voted
ISSTA
2006
ACM
15 years 10 months ago
Dynamic inference of abstract types
Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...