1999 search results - page 191 / 400 » Dependently Typed Grammars |
171
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
150
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The automatic identification of a user's task has the potential to improve information filtering systems that rely on implicit measures of interest and whose effectiveness ma...
155
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents results of an extensive long-term clickstream study of Web browser usage. Focusing on character and challenges of page revisitation, previous findings from sev...
174
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
176
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...