1805 search results - page 241 / 361 » Functional programming with structured graphs |
133
click to vote
KDD
1995
ACM
15 years 5 months ago
1995
ACM
Discovering repetitive, interesting, and functional substructures in a structural database improves the ability to interpret and compress the data. However, scientists working wit...
108
click to vote
ENTCS
2008
15 years 1 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
144
click to vote
ENTCS
2010
14 years 11 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
120
click to vote
ERLANG
2007
ACM
15 years 5 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...