6740 search results - page 144 / 1348 » Using Classification as a Programming Language |
138
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
128
click to vote
POPL
1998
ACM
15 years 5 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
103
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
127
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
The non-English Web is growing at breakneck speed, but available language processing tools are mostly English based. Taxonomies are a case in point: while there are plenty of comm...
214
Voted
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...