2956 search results - page 162 / 592 » Databases and Higher Types |
112
Voted
JNS
2007
15 years 3 months ago
2007
We study the topology of quasiperiodic solutions of the vortex filament equation in a neighborhood of multiply covered circles. We construct these solutions by means of a sequence...
130
click to vote
NN
2007
Springer
15 years 2 months ago
2007
Springer
Simultaneous recordings from populations of neurons in the inferior temporal visual cortex show that most of the information about which stimulus was shown is available in the num...
230
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
116
click to vote
PADL
2010
Springer
16 years 3 days ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
135
click to vote
TGC
2007
Springer
15 years 9 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...