Articoli di riviste sul tema "Monadic Interpreter"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Monadic Interpreter".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.
Watt, Conrad, Maja Trela, Peter Lammich e 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 giugno 2023): 100–123. http://dx.doi.org/10.1145/3591224.
Testo completoZakowski, Yannick, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva e Steve Zdancewic. "Modular, compositional, and executable formal semantics for LLVM IR". Proceedings of the ACM on Programming Languages 5, ICFP (22 agosto 2021): 1–30. http://dx.doi.org/10.1145/3473572.
Testo completoSergey, Ilya, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke e Frank Piessens. "Monadic abstract interpreters". ACM SIGPLAN Notices 48, n. 6 (23 giugno 2013): 399–410. http://dx.doi.org/10.1145/2499370.2491979.
Testo completoYoon, Irene, Yannick Zakowski e Steve Zdancewic. "Formal reasoning about layered monadic interpreters". Proceedings of the ACM on Programming Languages 6, ICFP (29 agosto 2022): 254–82. http://dx.doi.org/10.1145/3547630.
Testo completoMichelland, Sébastien, Yannick Zakowski e Laure Gonnord. "Abstract Interpreters: A Monadic Approach to Modular Verification". Proceedings of the ACM on Programming Languages 8, ICFP (15 agosto 2024): 602–29. http://dx.doi.org/10.1145/3674646.
Testo completoRabinovich, Alexander. "The full binary tree cannot be interpreted in a chain". Journal of Symbolic Logic 75, n. 4 (dicembre 2010): 1489–98. http://dx.doi.org/10.2178/jsl/1286198158.
Testo completoQuintanilla, Pablo. "Comprensión, imaginación y transformación". Areté 20, n. 1 (16 marzo 2008): 111–35. http://dx.doi.org/10.18800/arete.200801.004.
Testo completoLifsches, Shmuel, e Saharon Shelah. "Peano arithmetic may not be interpretable in the monadic theory of linear orders". Journal of Symbolic Logic 62, n. 3 (settembre 1997): 848–72. http://dx.doi.org/10.2307/2275575.
Testo completoGurevich, Yuri, e Saharon Shelah. "On the strength of the interpretation method". Journal of Symbolic Logic 54, n. 2 (giugno 1989): 305–23. http://dx.doi.org/10.2307/2274850.
Testo completoSCHWINGHAMMER, JAN. "Coherence of subsumption for monadic types". Journal of Functional Programming 19, n. 2 (marzo 2009): 157–72. http://dx.doi.org/10.1017/s0956796808006886.
Testo completoD'souza, Deepak. "A Logical Characterisation of Event Clock Automata". International Journal of Foundations of Computer Science 14, n. 04 (agosto 2003): 625–39. http://dx.doi.org/10.1142/s0129054103001923.
Testo completoLINDELL, STEVEN. "A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES". International Journal of Foundations of Computer Science 19, n. 01 (febbraio 2008): 205–17. http://dx.doi.org/10.1142/s0129054108005632.
Testo completoGHILARDI, SILVIO, e SAMUEL J. VAN GOOL. "A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS". Journal of Symbolic Logic 82, n. 1 (marzo 2017): 62–76. http://dx.doi.org/10.1017/jsl.2016.70.
Testo completoPalmisano, Stefania. "Asceticism in Modern Times". Fieldwork in Religion 9, n. 2 (3 agosto 2015): 202–23. http://dx.doi.org/10.1558/firn.v4.i1.16445.
Testo completoPalmisano, Stefania, e Marcin Jewdokimow. "New Monasticism: An Answer to the Contemporary Challenges of Catholic Monasticism?" Religions 10, n. 7 (28 giugno 2019): 411. http://dx.doi.org/10.3390/rel10070411.
Testo completoMairs, 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, n. 1 (26 maggio 2020): 50–102. http://dx.doi.org/10.1515/jah-2019-0001.
Testo completoVANDERPUTTEN, STEVEN. "A Compromised Inheritance: Monastic Discourse and the Politics of Property Exchange in Early Twelfth-Century Flanders". Journal of Ecclesiastical History 61, n. 2 (19 marzo 2010): 229–51. http://dx.doi.org/10.1017/s0022046909992740.
Testo completoGould, 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.
Testo completoMio 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, n. 4 (15 dicembre 2024): 245–66. https://doi.org/10.25115/kasp.v5i4.10343.
Testo completoElias Downey, Martha. "Monasticism, Monotheism, and Monogamy: Past and Present Expressions of the Undivided Life". Religions 10, n. 8 (20 agosto 2019): 489. http://dx.doi.org/10.3390/rel10080489.
Testo completoKeuchel, Steven, Sander Huyghebaert, Georgy Lukyanov e Dominique Devriese. "Verified symbolic execution with Kripke specification monads (and no meta-programming)". Proceedings of the ACM on Programming Languages 6, ICFP (29 agosto 2022): 194–224. http://dx.doi.org/10.1145/3547628.
Testo completoSharf, Robert. "Buddhist Modernism and the Rhetoric of Meditative Experience". Numen 42, n. 3 (1995): 228–83. http://dx.doi.org/10.1163/1568527952598549.
Testo completoGULMANN HENRIKSEN, JESPER. "AN EXPRESSIVE EXTENSION OF TLC". International Journal of Foundations of Computer Science 13, n. 03 (giugno 2002): 341–60. http://dx.doi.org/10.1142/s0129054102001151.
Testo completoSofronova, L. V., e T. G. Chougounova. "Apologia Pro Vita Sua: Erasmus Roterodamus on His Failed Monastic Attempt". Prepodavatel XXI vek, n. 1/2 (31 marzo 2024): 332–45. http://dx.doi.org/10.31862/2073-9613-2024-1-332-345.
Testo completoQuartier, Thomas. "Liturgische Theologie als Praxisreflexion. Qualitative Forschung unter Benediktineroblaten". Yearbook for Ritual and Liturgical Studies 36 (31 dicembre 2020): 115–37. http://dx.doi.org/10.21827/yrls.36.115-137.
Testo completoClough, Bradley S. "Paths of Monastic Practice from India to Sri Lanka". Buddhist Studies Review 35, n. 1-2 (31 dicembre 2018): 29–45. http://dx.doi.org/10.1558/bsrv.36751.
Testo completoSheng, Kai, e 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, n. 11 (9 novembre 2022): 1081. http://dx.doi.org/10.3390/rel13111081.
Testo completoMcGrath, Paul. "Knowledge management in monastic communities of the medieval Irish Celtic church". Journal of Management History 13, n. 2 (17 aprile 2007): 211–23. http://dx.doi.org/10.1108/17511340710735591.
Testo completoGodlewski, Włodzimierz. "Naqlun 2016: Hermitage EE.50 preliminary report". Polish Archaeology in the Mediterranean 26, n. 1 (9 luglio 2018): 159–70. http://dx.doi.org/10.5604/01.3001.0012.1773.
Testo completoFlechsig, Ariane, Dorothee Bernheim, Anna Buchheim, Martin Domin, Renate Mentel e 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, n. 7 (28 giugno 2023): 1001. http://dx.doi.org/10.3390/brainsci13071001.
Testo completoHorowitz, Asher. "How Levinas Taught Me to Read Benjamin". PhaenEx 1, n. 1 (5 novembre 2006): 140. http://dx.doi.org/10.22329/p.v1i1.40.
Testo completoSedov, Vladimir V. "Staircase turret of the St. George’s cathedral in the Yuriev Monastery: archaeology, architecture and fresco painting". Rossiiskaia arkheologiia, n. 4 (dicembre 2021): 132–43. http://dx.doi.org/10.31857/s086960630016578-4.
Testo completoReese, Ephrem. "Thomas Aquinas and Dionysian Ecclesiastical Hierarchy". Journal of Medieval and Early Modern Studies 52, n. 2 (1 maggio 2022): 191–217. http://dx.doi.org/10.1215/10829636-9687844.
Testo completoMitchell, William L., Dante Abate, Kevin S. Colls, Marina Faka, Caroline Sturdy Colls e Nikolas Bakirtzis. "Ground Penetrating Radar Survey of the UNESCO Painted Churches in the Troodos Region (Cyprus)". Heritage 5, n. 1 (25 gennaio 2022): 260–85. http://dx.doi.org/10.3390/heritage5010014.
Testo completoRUSU, Adrian A. "Mănăstirea Bistrița (Neamț) și Alexandru cel Bun. Revizii de interpretare". Studii și Materiale de Istorie Medie 41, n. 1 (11 marzo 2024): 187–228. http://dx.doi.org/10.62616/smim.2023.08.
Testo completoRothschild, Clare K. "Ethiopianising the Devil: ὁ μέλας in Barnabas 4". New Testament Studies 65, n. 2 (22 febbraio 2019): 223–45. http://dx.doi.org/10.1017/s0028688518000395.
Testo completoPratt, David. "The voice of the king in ‘King Edgar's Establishment of Monasteries’". Anglo-Saxon England 41 (dicembre 2012): 145–204. http://dx.doi.org/10.1017/s026367511300001x.
Testo completoGrisé, C. Annette. "The Textual Community of Syon Abbey". Florilegium 19, n. 1 (gennaio 2002): 149–62. http://dx.doi.org/10.3138/flor.19.008.
Testo completoDesideri, Fabrizio. "Labyrinth, Ruin, Junkspace, Monad: dialectical images of the contemporary city". Aisthesis. Pratiche, linguaggi e saperi dell’estetico 14, n. 2 (24 gennaio 2022): 101–9. http://dx.doi.org/10.36253/aisthesis-13213.
Testo completoEllis, Clare. "Monks, priests and farmers". Scottish Archaeological Internet Reports, n. 68 (2017): 1–107. http://dx.doi.org/10.9750/issn.2056-7421.2017.68.1-107.
Testo completoJensson, 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.
Testo completoBertschinger, Dolores Zoé. "Die Lebenslegende Milarepas als „Wimmelbild“". Asiatische Studien - Études Asiatiques 78, n. 2 (1 maggio 2024): 267–310. http://dx.doi.org/10.1515/asia-2024-0003.
Testo completoWu, Yang. "Ritual Action and Its Consequences: Libai (Ritualized Prostration) in Medieval Daoist Rituals". Religions 14, n. 12 (27 novembre 2023): 1468. http://dx.doi.org/10.3390/rel14121468.
Testo completoKamil, Fajri, e Risan Rusli. "Subyektivitas Penafsiran “Biarawan” Imam Zamakhsyari Terhadap Anjuran Menikah Dalam Al-Qur’an". Jurnal Semiotika-Q: Kajian Ilmu al-Quran dan Tafsir 3, n. 2 (24 dicembre 2023): 87–112. http://dx.doi.org/10.19109/jsq.v3i2.19037.
Testo completoButz, Eva-Maria. "The Political Dimension of Liturgical Prayers of Remembrance: Lists of Rulers in the Confraternity Books of the Carolingian Period". Religions 13, n. 3 (19 marzo 2022): 263. http://dx.doi.org/10.3390/rel13030263.
Testo completoSheng, 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, n. 10 (19 ottobre 2022): 987. http://dx.doi.org/10.3390/rel13100987.
Testo completoΟΙΚΟΝΟΜΙΔΗΣ, Ν. "Το δικαστικό προνόμιο της Νέας Μονής Χίου". BYZANTINA SYMMEIKTA 11 (29 settembre 1997): 49. http://dx.doi.org/10.12681/byzsym.823.
Testo completoBowman, 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, n. 1 (gennaio 2019): 55–75. http://dx.doi.org/10.1017/s0017816018000342.
Testo completoLong, Jeffery D. "Goddess, Guru, and Sanghajanani: The Authority and Ongoing Appeal of the Holy Mother Sarada Devi". Religions 15, n. 1 (21 dicembre 2023): 16. http://dx.doi.org/10.3390/rel15010016.
Testo completoMichalik, 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.
Testo completo