

References in zbMATH (referenced in 42 articles )

Showing results 1 to 20 of 42.
Sorted by year (citations)

1 2 3 next

  1. Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.: A partial evaluation framework for order-sorted equational programs modulo axioms (2020)
  2. Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis: Symbolic analysis of Maude theories with Narval (2019)
  3. Sandra Dylus, Jan Christiansen, Finn Teegen: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism (2019) arXiv
  4. Antoy, Sergio; Hanus, Michael: Default rules for Curry (2017)
  5. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  8. Antoy, Sergio; Jost, Andy: Compiling collapsing rules in certain constructor systems (2015)
  9. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  10. Antoy, Sergio; Jost, Andy: Compiling a functional logic language: \textitTheFair Scheme (2014)
  11. Escobar, Santiago: Functional logic programming in Maude (2014)
  14. Hanus, Michael: Functional logic programming: from theory to Curry (2013)
  17. Köksal, Ali Sinan; Kuncak, Viktor; Suter, Philippe: Constraints as control (2012) ioport
  19. Christiansen, Jan; Seidel, Daniel; Voigtländer, Janis: An adequate, denotational, functional-style semantics for typed FlatCurry (2011)

1 2 3 next