Login / Signup
Unboxing Mutually Recursive Type Definitions in OCaml.
Simon Colin
Rodolphe Lepigre
Gabriel Scherer
Published in:
CoRR (2018)
Keyphrases
</>
type definitions
databases
datalog programs
recursive functions
database
real time
information retrieval
search engine
multi agent
domain specific
recursive algorithm
chronological backtracking
iterative refinement