2036 search results - page 53 / 408 » A generic type-and-effect system |
118
Voted
MOBIHOC
2008
ACM
16 years 4 days ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...
109
click to vote
ICAIL
2007
ACM
15 years 4 months ago
2007
ACM
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
111
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
110
click to vote
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
100
Voted
P2P
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed computing is a very broad and active research area comprising fields such as cluster computing, computational grids, desktop grids and peer-to-peer (P2P) systems. Unf...