856 search results - page 59 / 172 » Dependent Types in Practical Programming |
236
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
133
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
205
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
138
click to vote
SIGSOFT
1994
ACM
15 years 6 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
123
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...