Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures.
Daniel LinckeSibylle SchuppCezar IonescuPublished in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
- higher order
- lambda calculus
- natural images
- markov models
- high order
- markov random field
- digital libraries
- low order
- signature verification
- multimedia
- pairwise
- lower order
- information systems
- functional analysis
- programming language
- decision trees
- computer vision
- conditional random fields
- e learning
- digital signature
- digital resources
- information retrieval
- social networks