TY - THES AU - Velasco Suárez, Manuel A3 - López Fraguas, Francisco Javier PY - 2019 UR - https://hdl.handle.net/20.500.14352/15215 AB - En este trabajo se propone e implementa un lenguaje funcional que incorpora características habituales de este paradigma, como es el orden superior, ajuste de patrones o evaluación perezosa. Añade características no tan habituales como es el... AB - This paper proposes and implements a functional language that incorporates common features of this paradigm, such as higher order functions, pattern matching or lazy evaluation. It adds a not so common feature, namely nondeterminism, expressed through... LA - spa KW - Programación Funcional KW - No determinismo KW - Curry KW - Toy KW - Sharade KW - Compartición KW - Call-time Choice KW - Run-time Choice KW - Mónadas KW - Hindley-Milner KW - Functional programming KW - Non determinism KW - Sharing KW - Calltime Choice KW - Monads TI - Una implementación en Haskell de un lenguaje funcional no determinista M3 - bachelor thesis ER -