Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Theory of Programming Languages"'
Publikováno v:
Applied Sciences, Vol 10, Iss 16, p 5551 (2020)
Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not been fully investigated. In particular, there are features of QTMs that have not been exploited, a notable example being the
Externí odkaz:
https://doaj.org/article/19dc75abb6944c448a01a2618877cf97
Autor:
Lukšič, Žiga
Algebraic effects are an established method of implementing effectful behaviour in functional programming languages. Computational effects are represented by operations and implemented through effect handlers. An effect theory consists of a type sign
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::da84c76cca7dcf9cd5d0309135f7f7bd
https://repozitorij.uni-lj.si/Dokument.php?id=137124&dn=
https://repozitorij.uni-lj.si/Dokument.php?id=137124&dn=
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Timany, A, Stefanesco, L, Krogh-Jespersen, M & Birkedal, L 2018, A Logical Relation for Monadic Encapsulation of State : Proving contextual equivalences in the presence of runST . in Proceedings of the ACM on Programming Languages . Association for Computing Machinery, New York, NY, Proceedings of the ACM on Programming Languages, vol. 2, pp. 64:00-64:28, Principles of Programming Languages (POPL) 2018, Los Angeles, California, United States, 07/01/2018 . https://doi.org/10.1145/3158152
We present a logical relations model of a higher-order functional programming language with impredicative polymorphism, recursive types, and a Haskell-style ST monad type with runST. We use our logical relations model to show that runST provides prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::110877b26313172618fd9d429b227018
https://lirias.kuleuven.be/handle/123456789/598529
https://lirias.kuleuven.be/handle/123456789/598529
Autor:
Tsouanas, Athanasios
Cette thèse s’intéresse à la sémantique dénotationnelle (en théorie desmodèles et en théorie des jeux) de quatre langages de programmation logique: - LP, le plus restrictif de tous, - DLP, une extension de LP aux disjonctions, - LPN, une ex
Externí odkaz:
http://www.theses.fr/2014ENSL0919
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Li, Wei
The problems of semantics and translation for concurrent programming languages are studied in this thesis. A structural operational approach is introduced to specify the semantics of parallelism and communication. Using this approach, semantics for t
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.331651
Autor:
Cremet, Vincent
SCALA is an attractive programming language because it is both very expressive and statically strongly typed. This marriage against nature comes at the price of a certain complexity in the language constructs and the static analysis. This complexity
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::36516f7e8a38833c45a39e38e56bd893
https://infoscience.epfl.ch/record/85784
https://infoscience.epfl.ch/record/85784
Autor:
Beidler, J.1
Publikováno v:
Choice: Current Reviews for Academic Libraries. Jun2011, Vol. 48 Issue 10, p1953-1953. 1/5p.