Articles de revues sur le sujet « Monadic Interpreter »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Monadic Interpreter ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Watt, Conrad, Maja Trela, Peter Lammich et Florian Märkl. « WasmRef-Isabelle : A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly ». Proceedings of the ACM on Programming Languages 7, PLDI (6 juin 2023) : 100–123. http://dx.doi.org/10.1145/3591224.
Texte intégralZakowski, Yannick, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva et Steve Zdancewic. « Modular, compositional, and executable formal semantics for LLVM IR ». Proceedings of the ACM on Programming Languages 5, ICFP (22 août 2021) : 1–30. http://dx.doi.org/10.1145/3473572.
Texte intégralSergey, Ilya, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke et Frank Piessens. « Monadic abstract interpreters ». ACM SIGPLAN Notices 48, no 6 (23 juin 2013) : 399–410. http://dx.doi.org/10.1145/2499370.2491979.
Texte intégralYoon, Irene, Yannick Zakowski et Steve Zdancewic. « Formal reasoning about layered monadic interpreters ». Proceedings of the ACM on Programming Languages 6, ICFP (29 août 2022) : 254–82. http://dx.doi.org/10.1145/3547630.
Texte intégralMichelland, Sébastien, Yannick Zakowski et Laure Gonnord. « Abstract Interpreters : A Monadic Approach to Modular Verification ». Proceedings of the ACM on Programming Languages 8, ICFP (15 août 2024) : 602–29. http://dx.doi.org/10.1145/3674646.
Texte intégralRabinovich, Alexander. « The full binary tree cannot be interpreted in a chain ». Journal of Symbolic Logic 75, no 4 (décembre 2010) : 1489–98. http://dx.doi.org/10.2178/jsl/1286198158.
Texte intégralQuintanilla, Pablo. « Comprensión, imaginación y transformación ». Areté 20, no 1 (16 mars 2008) : 111–35. http://dx.doi.org/10.18800/arete.200801.004.
Texte intégralLifsches, Shmuel, et Saharon Shelah. « Peano arithmetic may not be interpretable in the monadic theory of linear orders ». Journal of Symbolic Logic 62, no 3 (septembre 1997) : 848–72. http://dx.doi.org/10.2307/2275575.
Texte intégralGurevich, Yuri, et Saharon Shelah. « On the strength of the interpretation method ». Journal of Symbolic Logic 54, no 2 (juin 1989) : 305–23. http://dx.doi.org/10.2307/2274850.
Texte intégralSCHWINGHAMMER, JAN. « Coherence of subsumption for monadic types ». Journal of Functional Programming 19, no 2 (mars 2009) : 157–72. http://dx.doi.org/10.1017/s0956796808006886.
Texte intégralD'souza, Deepak. « A Logical Characterisation of Event Clock Automata ». International Journal of Foundations of Computer Science 14, no 04 (août 2003) : 625–39. http://dx.doi.org/10.1142/s0129054103001923.
Texte intégralLINDELL, STEVEN. « A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES ». International Journal of Foundations of Computer Science 19, no 01 (février 2008) : 205–17. http://dx.doi.org/10.1142/s0129054108005632.
Texte intégralGHILARDI, SILVIO, et SAMUEL J. VAN GOOL. « A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS ». Journal of Symbolic Logic 82, no 1 (mars 2017) : 62–76. http://dx.doi.org/10.1017/jsl.2016.70.
Texte intégralPalmisano, Stefania. « Asceticism in Modern Times ». Fieldwork in Religion 9, no 2 (3 août 2015) : 202–23. http://dx.doi.org/10.1558/firn.v4.i1.16445.
Texte intégralPalmisano, Stefania, et Marcin Jewdokimow. « New Monasticism : An Answer to the Contemporary Challenges of Catholic Monasticism ? » Religions 10, no 7 (28 juin 2019) : 411. http://dx.doi.org/10.3390/rel10070411.
Texte intégralMairs, Rachel. « Hermēneis in the Documentary Record from Hellenistic and Roman Egypt : interpreters, translators and mediators in a bilingual society ». Journal of Ancient History 8, no 1 (26 mai 2020) : 50–102. http://dx.doi.org/10.1515/jah-2019-0001.
Texte intégralVANDERPUTTEN, STEVEN. « A Compromised Inheritance : Monastic Discourse and the Politics of Property Exchange in Early Twelfth-Century Flanders ». Journal of Ecclesiastical History 61, no 2 (19 mars 2010) : 229–51. http://dx.doi.org/10.1017/s0022046909992740.
Texte intégralGould, Graham. « Basil of Caesarea and the Problem of the Wealth of Monasteries ». Studies in Church History 24 (1987) : 15–24. http://dx.doi.org/10.1017/s0424208400008202.
Texte intégralMio Ballena, Lennard Elías. « ESTUDIO LEXICOGRÁFICO Y COGNITIVO DE LAS INTEGRACIONES CONCEPTUALES DE LA SÁTIRA POLÍTICA EN LAS REVISTAS LIMEÑAS MONOS Y MONADAS (1906, 1907) Y VARIEDADES (1911) ». KNOW AND SHARE PSYCHOLOGY 5, no 4 (15 décembre 2024) : 245–66. https://doi.org/10.25115/kasp.v5i4.10343.
Texte intégralElias Downey, Martha. « Monasticism, Monotheism, and Monogamy : Past and Present Expressions of the Undivided Life ». Religions 10, no 8 (20 août 2019) : 489. http://dx.doi.org/10.3390/rel10080489.
Texte intégralKeuchel, Steven, Sander Huyghebaert, Georgy Lukyanov et Dominique Devriese. « Verified symbolic execution with Kripke specification monads (and no meta-programming) ». Proceedings of the ACM on Programming Languages 6, ICFP (29 août 2022) : 194–224. http://dx.doi.org/10.1145/3547628.
Texte intégralSharf, Robert. « Buddhist Modernism and the Rhetoric of Meditative Experience ». Numen 42, no 3 (1995) : 228–83. http://dx.doi.org/10.1163/1568527952598549.
Texte intégralGULMANN HENRIKSEN, JESPER. « AN EXPRESSIVE EXTENSION OF TLC ». International Journal of Foundations of Computer Science 13, no 03 (juin 2002) : 341–60. http://dx.doi.org/10.1142/s0129054102001151.
Texte intégralSofronova, L. V., et T. G. Chougounova. « Apologia Pro Vita Sua : Erasmus Roterodamus on His Failed Monastic Attempt ». Prepodavatel XXI vek, no 1/2 (31 mars 2024) : 332–45. http://dx.doi.org/10.31862/2073-9613-2024-1-332-345.
Texte intégralQuartier, Thomas. « Liturgische Theologie als Praxisreflexion. Qualitative Forschung unter Benediktineroblaten ». Yearbook for Ritual and Liturgical Studies 36 (31 décembre 2020) : 115–37. http://dx.doi.org/10.21827/yrls.36.115-137.
Texte intégralClough, Bradley S. « Paths of Monastic Practice from India to Sri Lanka ». Buddhist Studies Review 35, no 1-2 (31 décembre 2018) : 29–45. http://dx.doi.org/10.1558/bsrv.36751.
Texte intégralSheng, Kai, et Bangwei Zhou. « “Interpreting Buddhist Precepts with Confucian Rites” Based on Their Similarity and Dissimilarity : A Perspective of the History of Ideas in Wei, Jin, and Northern and Southern Dynasties ». Religions 13, no 11 (9 novembre 2022) : 1081. http://dx.doi.org/10.3390/rel13111081.
Texte intégralMcGrath, Paul. « Knowledge management in monastic communities of the medieval Irish Celtic church ». Journal of Management History 13, no 2 (17 avril 2007) : 211–23. http://dx.doi.org/10.1108/17511340710735591.
Texte intégralGodlewski, Włodzimierz. « Naqlun 2016 : Hermitage EE.50 preliminary report ». Polish Archaeology in the Mediterranean 26, no 1 (9 juillet 2018) : 159–70. http://dx.doi.org/10.5604/01.3001.0012.1773.
Texte intégralFlechsig, Ariane, Dorothee Bernheim, Anna Buchheim, Martin Domin, Renate Mentel et Martin Lotze. « One Year of Outpatient Dialectical Behavioral Therapy and Its Impact on Neuronal Correlates of Attachment Representation in Patients with Borderline Personality Disorder Using a Personalized fMRI Task ». Brain Sciences 13, no 7 (28 juin 2023) : 1001. http://dx.doi.org/10.3390/brainsci13071001.
Texte intégralHorowitz, Asher. « How Levinas Taught Me to Read Benjamin ». PhaenEx 1, no 1 (5 novembre 2006) : 140. http://dx.doi.org/10.22329/p.v1i1.40.
Texte intégralSedov, Vladimir V. « Staircase turret of the St. George’s cathedral in the Yuriev Monastery : archaeology, architecture and fresco painting ». Rossiiskaia arkheologiia, no 4 (décembre 2021) : 132–43. http://dx.doi.org/10.31857/s086960630016578-4.
Texte intégralReese, Ephrem. « Thomas Aquinas and Dionysian Ecclesiastical Hierarchy ». Journal of Medieval and Early Modern Studies 52, no 2 (1 mai 2022) : 191–217. http://dx.doi.org/10.1215/10829636-9687844.
Texte intégralMitchell, William L., Dante Abate, Kevin S. Colls, Marina Faka, Caroline Sturdy Colls et Nikolas Bakirtzis. « Ground Penetrating Radar Survey of the UNESCO Painted Churches in the Troodos Region (Cyprus) ». Heritage 5, no 1 (25 janvier 2022) : 260–85. http://dx.doi.org/10.3390/heritage5010014.
Texte intégralRUSU, Adrian A. « Mănăstirea Bistrița (Neamț) și Alexandru cel Bun. Revizii de interpretare ». Studii și Materiale de Istorie Medie 41, no 1 (11 mars 2024) : 187–228. http://dx.doi.org/10.62616/smim.2023.08.
Texte intégralRothschild, Clare K. « Ethiopianising the Devil : ὁ μέλας in Barnabas 4 ». New Testament Studies 65, no 2 (22 février 2019) : 223–45. http://dx.doi.org/10.1017/s0028688518000395.
Texte intégralPratt, David. « The voice of the king in ‘King Edgar's Establishment of Monasteries’ ». Anglo-Saxon England 41 (décembre 2012) : 145–204. http://dx.doi.org/10.1017/s026367511300001x.
Texte intégralGrisé, C. Annette. « The Textual Community of Syon Abbey ». Florilegium 19, no 1 (janvier 2002) : 149–62. http://dx.doi.org/10.3138/flor.19.008.
Texte intégralDesideri, Fabrizio. « Labyrinth, Ruin, Junkspace, Monad : dialectical images of the contemporary city ». Aisthesis. Pratiche, linguaggi e saperi dell’estetico 14, no 2 (24 janvier 2022) : 101–9. http://dx.doi.org/10.36253/aisthesis-13213.
Texte intégralEllis, Clare. « Monks, priests and farmers ». Scottish Archaeological Internet Reports, no 68 (2017) : 1–107. http://dx.doi.org/10.9750/issn.2056-7421.2017.68.1-107.
Texte intégralJensson, Gottskálk. « Tvær dæmisögur Esóps og latnesk skrifaravers í formála Adonias sögu og tengsl þeirra við latínubrotin í Þjms frag 103,104 og AM 732 b 4to ». Gripla 32 (2021) : 135–49. http://dx.doi.org/10.33112/gripla.32.5.
Texte intégralBertschinger, Dolores Zoé. « Die Lebenslegende Milarepas als „Wimmelbild“ ». Asiatische Studien - Études Asiatiques 78, no 2 (1 mai 2024) : 267–310. http://dx.doi.org/10.1515/asia-2024-0003.
Texte intégralWu, Yang. « Ritual Action and Its Consequences : Libai (Ritualized Prostration) in Medieval Daoist Rituals ». Religions 14, no 12 (27 novembre 2023) : 1468. http://dx.doi.org/10.3390/rel14121468.
Texte intégralKamil, Fajri, et Risan Rusli. « Subyektivitas Penafsiran “Biarawan” Imam Zamakhsyari Terhadap Anjuran Menikah Dalam Al-Qur’an ». Jurnal Semiotika-Q : Kajian Ilmu al-Quran dan Tafsir 3, no 2 (24 décembre 2023) : 87–112. http://dx.doi.org/10.19109/jsq.v3i2.19037.
Texte intégralButz, Eva-Maria. « The Political Dimension of Liturgical Prayers of Remembrance : Lists of Rulers in the Confraternity Books of the Carolingian Period ». Religions 13, no 3 (19 mars 2022) : 263. http://dx.doi.org/10.3390/rel13030263.
Texte intégralSheng, Kai. « Commentarial Interpretations of the Vimalakīrti Nirdeśa in the Controversy over Requiring Buddhist Monastics to Pay Homage to the Emperor during the Sui and Tang Dynasties ». Religions 13, no 10 (19 octobre 2022) : 987. http://dx.doi.org/10.3390/rel13100987.
Texte intégralΟΙΚΟΝΟΜΙΔΗΣ, Ν. « Το δικαστικό προνόμιο της Νέας Μονής Χίου ». BYZANTINA SYMMEIKTA 11 (29 septembre 1997) : 49. http://dx.doi.org/10.12681/byzsym.823.
Texte intégralBowman, Bradley. « From Acolyte toṢaḥābī ? : Christian Monks as Symbols of Early Confessional Fluidity in the Conversion Story of Salmān al-Fārisī ». Harvard Theological Review 112, no 1 (janvier 2019) : 55–75. http://dx.doi.org/10.1017/s0017816018000342.
Texte intégralLong, Jeffery D. « Goddess, Guru, and Sanghajanani : The Authority and Ongoing Appeal of the Holy Mother Sarada Devi ». Religions 15, no 1 (21 décembre 2023) : 16. http://dx.doi.org/10.3390/rel15010016.
Texte intégralMichalik, Jakub. « The Yew Cross from Szczuczyn – a Symbol of Life and Death or an Unusual Memento ? » Analecta Archaeologica Ressoviensia 17 (2022) : 71–79. http://dx.doi.org/10.15584/anarres.2022.17.6.
Texte intégral