678 search results - page 85 / 136 » Dependent Types for Program Understanding |
133
Voted
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Feedback circuits are important for understanding the emergence of patterns of neural activity. In this contribution we study how a delayed circuit representing a recurre...
201
Voted
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
Recently, the C# and the VISUAL BASIC communities were tantalized by the advent of LINQ [18]--the Language INtegrated Query technology from Microsoft. LINQ represents a set of lan...
104
click to vote
ECML
1997
Springer
15 years 6 months ago
1997
Springer
\Ibots" (Integrating roBOTS) is a computer experiment in group learning. It is designed to understand how to use reinforcement learning to program automatically a team of robo...
232
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
109
Voted
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...