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 × Brazil
1 × Japan
1 × Poland
1 × Spain
2 × USA
Collaborated with:
F.J.López-Fraguas J.Sánchez-Hernández A.Riesco E.Martin-Martin
Talks about:
function (4) program (3) semant (3) determinist (2) rewrit (2) plural (2) choic (2) type (2) time (2) call (2)

Person: Juan Rodríguez-Hortalá

DBLP DBLP: Rodr=iacute=guez-Hortal=aacute=:Juan

Contributed to:

PEPM 20122012
PPDP 20122012
PEPM 20102010
LDTA 20092010
PEPM 20092009
RTA 20092009
FLOPS 20082008
PPDP 20072007

Wrote 8 papers:

PEPM-2012-Lopez-FraguasMR #functional #logic programming
Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
Transparent function types: clearing up opacity (EMM, JRH), pp. 127–138.
PEPM-2010-RiescoR #nondeterminism #programming
Programming with singular and plural non-deterministic functions (AR, JRH), pp. 83–92.
LDTA-2009-RiescoR10 #implementation #maude #semantics
A Natural Implementation of Plural Semantics in Maude (AR, JRH), pp. 165–175.
PEPM-2009-Lopez-FraguasRS #flexibility #framework #nondeterminism #programming
A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.
RTA-2009-Lopez-FraguasRS #semantics
A Fully Abstract Semantics for Constructor Systems (FJLF, JRH, JSH), pp. 320–334.
Rewriting and Call-Time Choice: The HO Case (FJLF, JRH, JSH), pp. 147–162.
PPDP-2007-Lopez-FraguasRS #semantics
A simple rewrite notion for call-time choice semantics (FJLF, JRH, JSH), pp. 197–208.

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.