Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Evaluación perezosa"'
En este vídeo se presentan las estrategias de evaluación más importantes de los lenguajes de programación funcional, concretamente la estrategia de evaluación impaciente y la estrategia de evaluación perezosa.
Se debe ver el vídeo deteni
Se debe ver el vídeo deteni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::0da1205d2d666ded0703fdd88674aff4
https://hdl.handle.net/10251/63624
https://hdl.handle.net/10251/63624
Autor:
Sicard-Ramírez, Andrés
Publikováno v:
COLIBRI
Universidad de la República
instacron:Universidad de la República
Universidad de la República
instacron:Universidad de la República
We propose a new approach to computer-assisted verification of lazy functional programs where functions can be defined by general recursion. We work in first-order theories of functional programs which are obtained by translating Dybjer's programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::8746df4504d24f1188ac7682263e4f01
Autor:
Velasco Suárez, Manuel
Publikováno v:
E-Prints Complutense. Archivo Institucional de la UCM
instname
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
instname
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
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 inde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::68b156352c51785489606373c2ec8e10
Autor:
Tabani, Hamid
Publikováno v:
TDX (Tesis Doctorals en Xarxa)
TDR. Tesis Doctorales en Red
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
TDR. Tesis Doctorales en Red
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Automatic Speech Recognition (ASR) is one of the most important applications in the area of cognitive computing. Fast and accurate ASR is emerging as a key application for mobile and wearable devices. These devices, such as smartphones, have incorpor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6d2f1572e7160aedcebb29cf93f162af
https://hdl.handle.net/2117/11536310803/462249
https://hdl.handle.net/2117/11536310803/462249
Autor:
Vicente Martín, Diego
Publikováno v:
e-Archivo. Repositorio Institucional de la Universidad Carlos III de Madrid
instname
instname
There are currently few experiments that try to perform heuristic search in Haskell, even though the language provides a clean and modular syntax that can be specially useful for educational or research purposes in the field. Furthermore, functional
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3484cc7205e435ddf7439c3673f19dd4
https://hdl.handle.net/10016/28715
https://hdl.handle.net/10016/28715
Autor:
Étienne Miquey
Publikováno v:
COLIBRI
Universidad de la República
instacron:Universidad de la República
Étienne Miquey
Universidad de la República
instacron:Universidad de la República
Étienne Miquey
Tesis en cotutela Universidad de la República (Uruguay). Facultad de Ciencias y Université Sorbonne Paris Cité. This thesis focused on the computational content of classical proofs, and specifically on proofs with side-effects and Krivine classica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e4e0d841deeda8b879551b2851401109
Autor:
Labra, José E.
Publikováno v:
RUA. Repositorio Institucional de la Universidad de Alicante
Universidad de Alicante (UA)
Universidad de Alicante (UA)
En el esquema de prácticas de la asignatura de programación lógica y funcional se ha incorporado la generación de representaciones gráficas y de quadtrees y octrees para la enseñanza de las diferentes características de este tipo de lenguajes:
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::68a6926c3099a167bdd88679f5a5033a
https://hdl.handle.net/10045/128075
https://hdl.handle.net/10045/128075
Autor:
Camilo Chacón Sartori
¿Cuáles son los principios subyacentes a toda herramienta en programación? Si quiere conocer los ocho principios, técnicos y conductuales, que dan respuesta a esta pregunta, ha llegado al libro indicado. En una época donde cada día surgen nueva
Autor:
José María Vegas Gertrudix
Java está presente a nuestro alrededor, se utiliza en servidores, en aplicaciones de escritorio, en dispositivos multimedia, en teléfonos móviles e incluso en juegos como el popular Minecraft. De ahí que haya estado presente en la cotidianidad de