556 search results - page 13 / 112 » Generic Properties of Datatypes |
101
Voted
ENTCS
2006
15 years 10 days ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
94
Voted
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
119
click to vote
ICFP
2003
ACM
16 years 9 days ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
146
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
BC
2000
15 years 5 days ago
2000
We identify generic sources of complex and irregular spiking in biological neural networks. For the network description, we operate on a mathematically exact mesoscopic approach. S...