13734 search results - page 30 / 2747 » Abstractions of data types |
94
Voted
BIOCOMP
2006
15 years 5 months ago
2006
107
Voted
SIGACT
1998
15 years 3 months ago
1998
184
Voted
NDJFL
2011
14 years 10 months ago
2011
126
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
152
Voted
AFP
2004
Springer
15 years 9 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...