Login / Signup
Adding Type Classes to Functional-Logic Languages.
Juan José Moreno-Navarro
Julio Mariño
A. del Pozo-Pietro
Ángel Herranz-Nieva
Julio García-Martín
Published in:
APPIA-GULP-PRODE (1996)
Keyphrases
</>
type checking
expressive power
functional programming
functional language
databases
information retrieval
database
object oriented
first order logic
modal logic
language independent
text summarization
formal language
constraint language