2803 search results - page 19 / 561 » A Type System for Prototyping Languages |
114
Voted
DBPL
1989
Springer
15 years 7 months ago
1989
Springer
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
123
click to vote
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
119
Voted
CATS
2006
15 years 4 months ago
2006
128
Voted
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...