1636 search results - page 100 / 328 » Type-Theoretic Functional Semantics |
150
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Online Curriculum Portals aim to support networks of instructors and learners by providing a space of convergence for enhancing peer-to-peer learning interactions among individual...
172
click to vote
TLCA
2009
Springer
16 years 22 days ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
164
click to vote
CCS
2007
ACM
16 years 11 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
156
click to vote
TCBB
2010
15 years 4 months ago
2010
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...
149
click to vote
ISCA
2006
IEEE
16 years 7 days ago
2006
IEEE
Transactional Memory (TM) simplifies parallel programming by allowing for parallel execution of atomic tasks. Thus far, TM systems have focused on implementing transactional stat...