ARTÍCULO
TITULO

Semantics of value recursion for monadic input/output

Erkok    
L. Launchbury    
J. Moran    
A.    

Resumen

No disponible

 Artículos similares

       
 
Tatiana Litvinova,Polina Panicheva,Elena Kotlyarova,Victoria Zavarzina     Pág. 47 - 53
Development of the models of distributional semantics is one of the most important directions of research in modern NLP. This field is developing rapidly. New transformed-based models allow one to obtain good results in a lot of practical tasks, although... ver más

 
Fanzhi Jiang, Liumei Zhang, Kexin Wang, Xi Deng and Wanyan Yang    
Recent studies demonstrate that algorithmic music attracted global attention not only because of its amusement but also its considerable potential in the industry. Thus, the yield increased academic numbers spinning around on topics of algorithm music ge... ver más
Revista: Applied Sciences

 
Henrich Lauko, Martina Olliaro, Agostino Cortesi and Petr Roc?kai    
Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-String is... ver más
Revista: Applied Sciences

 
Peng Shi, Yulin Cui, Kangming Xu, Mingmei Zhang and Lianhong Ding    
Big data technique is a series of novel technologies to deal with large amounts of data from various sources. Unfortunately, it is inevitable that the data from different sources conflict with each other from the aspects of format, semantics, and value. ... ver más
Revista: Information

 
Jakob Lüttgau,Michael Kuhn,Kira Duwe,Yevhen Alforov,Eugen Betke,Julian Kunkel,Thomas Ludwig     Pág. 31 - 58
In current supercomputers, storage is typically provided by parallel distributed file systems for hot data and tape archives for cold data. These file systems are often compatible with local file systems due to their use of the POSIX interface and semant... ver más