6829 search results - page 295 / 1366 » Quantitative Generalizations of Languages |
302
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
232
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Freebase is a practical, scalable tuple database used to structure general human knowledge. The data in Freebase is collaboratively created, structured, and maintained. Freebase c...
136
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
152
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
138
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...