@comment{{Al final apareciĆ³ en 2018}}
@comment{{2015}}
@article{kulomoro:1996:fllbiigm, author = {Herbert Kuchen and Rita Loogen and Juan Jos{\'{e}} {Moreno-Navarro} and Mario {Rodr{\'{i}}guez-Artalejo}}, title = {The Functional Logic Language {BABEL} and Its Implementation on a Graph Machine}, journal = {New Generation Computing}, volume = {14}, number = {4}, pages = {391-427}, year = {1996}, url = {http://citeseer.nj.nec.com/kuchen96functional.html}, postscript = {/papers/ibam_jl.ps.gz}, keywords = {implementation of funtional logic languages}, abstract = {We investigate the development of a graph narrowing machine for a higher order functional logic language by extension of an appropriate architecture for purely functional languages. To execute logic programs the machine must be capable of unification and backtracking. We show the integration of these mechanisms in a programmed (functional) graph reduction machine. The resulting abstract machine has been realized in C code as part of the implementation of the functional logic language BABEL. A brief introduction to this language is included. Moreover, we show a comparison between BABEL and PROLOG based on the runtimes of some example programs.} }
@inproceedings{AGPDLF96:Moreno:TypeClassesCurry, title = {Adding Type-Classes to Functional-logic Languages}, booktitle = {APPIA-GULP-PRODE'96}, organization = {Universidad del Pa{\'{i}}s Vasco}, year = {1996}, editor = {M. Martelli and M. Navarro}, publisher = {Summer Courses, Basque Country University}, pages = {427-438}, author = {J.J. {Moreno-Navarro} and J. Mari{\~{n}}o and J. Garc{\'{i}}a Mart{\'{i}}n and {{\'{A}}ngel} Herranz and A. del Pozo} }
This file was generated by bibtex2html 1.98.