Login / Signup
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.
Cristiano D. Vasconcellos
Lucília Figueiredo
Carlos Camarão
Published in:
J. Univers. Comput. Sci. (2003)
Keyphrases
</>
functional programming
practical application
databases
real world
type checking
neural network
search engine
inference mechanism