Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Castanho, Daniel"'
Autor:
Castanho, Daniel, Pereira, Mário
Functional programming offers the perfect ground for building correct-by-construction software. Languages of such paradigm normally feature state-of-the-art type systems, good abstraction mechanisms, and well-defined execution models. We claim that a
Externí odkaz:
http://arxiv.org/abs/2207.09854
Publikováno v:
Repositório Institucional da UNESP
Universidade Estadual Paulista (UNESP)
instacron:UNESP
Universidade Estadual Paulista (UNESP)
instacron:UNESP
Submitted by Daniel Cássio De Oliveira Castanho (daniel.cassio@unesp.br) on 2021-01-22T17:51:47Z No. of bitstreams: 1 Dissert. mestrado daniel (1).pdf: 2251506 bytes, checksum: 0812a9701f3591779d75fb307afded66 (MD5) Approved for entry into archive b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::9775708617cfea69083db42ea1f57b01
Publikováno v:
Fair Disclosure Wire (Quarterly Earnings Reports). 11/03/2020.
Autor:
KJ Simmill
Dizem que o passado sempre volta para assombrá-lo, mas alguns passados esquecidos têm nomes sussurrados e dívidas a serem cobradas. Interesses perigosos agitam as trevas, esperando pacientemente para assumir o controle. O limite sutil entre son