770 search results - page 44 / 154 » Dinatural Terms in System F |
102
click to vote
SIGCOMM
2003
ACM
15 years 3 months ago
2003
ACM
One of the key infrastructure components in all telecommunication networks, ranging from the telephone network, to VC-oriented data networks, to the Internet, is its signaling sys...
ASSETS
2006
ACM
15 years 3 months ago
2006
ACM
We demonstrate the most recent version of our system to communicate graphs and relational information to blind users. We have developed a system called exPLoring graphs at UMB (PL...
HUC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Infrastructures (persistent socio-technical systems over which services are delivered) are normally taken for granted by their users, but are powerful forces of constrain...
TLDI
2003
ACM
15 years 3 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
POPL
1997
ACM
15 years 2 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...