BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Italy
1 × Japan
1 × Sweden
1 × Switzerland
Collaborated with:
M.T.Hortalá-González M.Rodríguez-Artalejo F.J.López-Fraguas
Talks about:
program (5) logic (5) function (4) semant (3) rewrit (2) declar (2) complet (1) versus (1) narrow (1) higher (1)

Person: Juan Carlos González Moreno

DBLP DBLP: Moreno:Juan_Carlos_Gonz=aacute=lez

Contributed to:

FLOPS 19991999
ICLP 19971997
ESOP 19961996
CSL 19921992
CSL 19911991

Wrote 5 papers:

FLOPS-1999-Gonzalez-MorenoHR #functional #logic programming #semantics
Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.
ICLP-1997-Gonzalez-MorenoHR #functional #higher-order #logic programming
A Higher Order Rewriting Logic for Functional Logic Programming (JCGM, MTHG, MRA), pp. 153–167.
ESOP-1996-Gonzalez-MorenoHLR #declarative #logic #programming
A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.
CSL-1992-Gonzalez-MorenoHR #functional #logic programming #on the #semantics
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming (JCGM, MTHG, MRA), pp. 216–230.
CSL-1991-Gonzalez-MorenoHR #declarative #functional #programming #semantics
Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.