Login / Signup
A Calculus of Functional BSP Programs with Explicit Substitutions.
Frédéric Loulergue
Published in:
PARCO (2003)
Keyphrases
</>
provably correct
functional language
quadtree
automatic programming
pairwise
computer programs
programming environment
artificial intelligence
search engine
information systems
multiscale
image retrieval
data model
sequence alignment
fixpoint
functional programming