Journal articles on the topic 'Monadic Interpreter'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Monadic Interpreter.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Watt, Conrad, Maja Trela, Peter Lammich, and Florian Märkl. "WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly." Proceedings of the ACM on Programming Languages 7, PLDI (June 6, 2023): 100–123. http://dx.doi.org/10.1145/3591224.
Full textZakowski, Yannick, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic. "Modular, compositional, and executable formal semantics for LLVM IR." Proceedings of the ACM on Programming Languages 5, ICFP (August 22, 2021): 1–30. http://dx.doi.org/10.1145/3473572.
Full textSergey, Ilya, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, and Frank Piessens. "Monadic abstract interpreters." ACM SIGPLAN Notices 48, no. 6 (June 23, 2013): 399–410. http://dx.doi.org/10.1145/2499370.2491979.
Full textYoon, Irene, Yannick Zakowski, and Steve Zdancewic. "Formal reasoning about layered monadic interpreters." Proceedings of the ACM on Programming Languages 6, ICFP (August 29, 2022): 254–82. http://dx.doi.org/10.1145/3547630.
Full textMichelland, Sébastien, Yannick Zakowski, and Laure Gonnord. "Abstract Interpreters: A Monadic Approach to Modular Verification." Proceedings of the ACM on Programming Languages 8, ICFP (August 15, 2024): 602–29. http://dx.doi.org/10.1145/3674646.
Full textRabinovich, Alexander. "The full binary tree cannot be interpreted in a chain." Journal of Symbolic Logic 75, no. 4 (December 2010): 1489–98. http://dx.doi.org/10.2178/jsl/1286198158.
Full textQuintanilla, Pablo. "Comprensión, imaginación y transformación." Areté 20, no. 1 (March 16, 2008): 111–35. http://dx.doi.org/10.18800/arete.200801.004.
Full textLifsches, Shmuel, and Saharon Shelah. "Peano arithmetic may not be interpretable in the monadic theory of linear orders." Journal of Symbolic Logic 62, no. 3 (September 1997): 848–72. http://dx.doi.org/10.2307/2275575.
Full textGurevich, Yuri, and Saharon Shelah. "On the strength of the interpretation method." Journal of Symbolic Logic 54, no. 2 (June 1989): 305–23. http://dx.doi.org/10.2307/2274850.
Full textSCHWINGHAMMER, JAN. "Coherence of subsumption for monadic types." Journal of Functional Programming 19, no. 2 (March 2009): 157–72. http://dx.doi.org/10.1017/s0956796808006886.
Full textD'souza, Deepak. "A Logical Characterisation of Event Clock Automata." International Journal of Foundations of Computer Science 14, no. 04 (August 2003): 625–39. http://dx.doi.org/10.1142/s0129054103001923.
Full textLINDELL, STEVEN. "A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES." International Journal of Foundations of Computer Science 19, no. 01 (February 2008): 205–17. http://dx.doi.org/10.1142/s0129054108005632.
Full textGHILARDI, SILVIO, and SAMUEL J. VAN GOOL. "A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS." Journal of Symbolic Logic 82, no. 1 (March 2017): 62–76. http://dx.doi.org/10.1017/jsl.2016.70.
Full textPalmisano, Stefania. "Asceticism in Modern Times." Fieldwork in Religion 9, no. 2 (August 3, 2015): 202–23. http://dx.doi.org/10.1558/firn.v4.i1.16445.
Full textPalmisano, Stefania, and Marcin Jewdokimow. "New Monasticism: An Answer to the Contemporary Challenges of Catholic Monasticism?" Religions 10, no. 7 (June 28, 2019): 411. http://dx.doi.org/10.3390/rel10070411.
Full textMairs, 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 (May 26, 2020): 50–102. http://dx.doi.org/10.1515/jah-2019-0001.
Full textVANDERPUTTEN, STEVEN. "A Compromised Inheritance: Monastic Discourse and the Politics of Property Exchange in Early Twelfth-Century Flanders." Journal of Ecclesiastical History 61, no. 2 (March 19, 2010): 229–51. http://dx.doi.org/10.1017/s0022046909992740.
Full textGould, 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.
Full textMio 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 (December 15, 2024): 245–66. https://doi.org/10.25115/kasp.v5i4.10343.
Full textElias Downey, Martha. "Monasticism, Monotheism, and Monogamy: Past and Present Expressions of the Undivided Life." Religions 10, no. 8 (August 20, 2019): 489. http://dx.doi.org/10.3390/rel10080489.
Full textKeuchel, Steven, Sander Huyghebaert, Georgy Lukyanov, and Dominique Devriese. "Verified symbolic execution with Kripke specification monads (and no meta-programming)." Proceedings of the ACM on Programming Languages 6, ICFP (August 29, 2022): 194–224. http://dx.doi.org/10.1145/3547628.
Full textSharf, Robert. "Buddhist Modernism and the Rhetoric of Meditative Experience." Numen 42, no. 3 (1995): 228–83. http://dx.doi.org/10.1163/1568527952598549.
Full textGULMANN HENRIKSEN, JESPER. "AN EXPRESSIVE EXTENSION OF TLC." International Journal of Foundations of Computer Science 13, no. 03 (June 2002): 341–60. http://dx.doi.org/10.1142/s0129054102001151.
Full textSofronova, L. V., and T. G. Chougounova. "Apologia Pro Vita Sua: Erasmus Roterodamus on His Failed Monastic Attempt." Prepodavatel XXI vek, no. 1/2 (March 31, 2024): 332–45. http://dx.doi.org/10.31862/2073-9613-2024-1-332-345.
Full textQuartier, Thomas. "Liturgische Theologie als Praxisreflexion. Qualitative Forschung unter Benediktineroblaten." Yearbook for Ritual and Liturgical Studies 36 (December 31, 2020): 115–37. http://dx.doi.org/10.21827/yrls.36.115-137.
Full textClough, Bradley S. "Paths of Monastic Practice from India to Sri Lanka." Buddhist Studies Review 35, no. 1-2 (December 31, 2018): 29–45. http://dx.doi.org/10.1558/bsrv.36751.
Full textSheng, Kai, and 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 (November 9, 2022): 1081. http://dx.doi.org/10.3390/rel13111081.
Full textMcGrath, Paul. "Knowledge management in monastic communities of the medieval Irish Celtic church." Journal of Management History 13, no. 2 (April 17, 2007): 211–23. http://dx.doi.org/10.1108/17511340710735591.
Full textGodlewski, Włodzimierz. "Naqlun 2016: Hermitage EE.50 preliminary report." Polish Archaeology in the Mediterranean 26, no. 1 (July 9, 2018): 159–70. http://dx.doi.org/10.5604/01.3001.0012.1773.
Full textFlechsig, Ariane, Dorothee Bernheim, Anna Buchheim, Martin Domin, Renate Mentel, and 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 (June 28, 2023): 1001. http://dx.doi.org/10.3390/brainsci13071001.
Full textHorowitz, Asher. "How Levinas Taught Me to Read Benjamin." PhaenEx 1, no. 1 (November 5, 2006): 140. http://dx.doi.org/10.22329/p.v1i1.40.
Full textSedov, Vladimir V. "Staircase turret of the St. George’s cathedral in the Yuriev Monastery: archaeology, architecture and fresco painting." Rossiiskaia arkheologiia, no. 4 (December 2021): 132–43. http://dx.doi.org/10.31857/s086960630016578-4.
Full textReese, Ephrem. "Thomas Aquinas and Dionysian Ecclesiastical Hierarchy." Journal of Medieval and Early Modern Studies 52, no. 2 (May 1, 2022): 191–217. http://dx.doi.org/10.1215/10829636-9687844.
Full textMitchell, William L., Dante Abate, Kevin S. Colls, Marina Faka, Caroline Sturdy Colls, and Nikolas Bakirtzis. "Ground Penetrating Radar Survey of the UNESCO Painted Churches in the Troodos Region (Cyprus)." Heritage 5, no. 1 (January 25, 2022): 260–85. http://dx.doi.org/10.3390/heritage5010014.
Full textRUSU, Adrian A. "Mănăstirea Bistrița (Neamț) și Alexandru cel Bun. Revizii de interpretare." Studii și Materiale de Istorie Medie 41, no. 1 (March 11, 2024): 187–228. http://dx.doi.org/10.62616/smim.2023.08.
Full textRothschild, Clare K. "Ethiopianising the Devil: ὁ μέλας in Barnabas 4." New Testament Studies 65, no. 2 (February 22, 2019): 223–45. http://dx.doi.org/10.1017/s0028688518000395.
Full textPratt, David. "The voice of the king in ‘King Edgar's Establishment of Monasteries’." Anglo-Saxon England 41 (December 2012): 145–204. http://dx.doi.org/10.1017/s026367511300001x.
Full textGrisé, C. Annette. "The Textual Community of Syon Abbey." Florilegium 19, no. 1 (January 2002): 149–62. http://dx.doi.org/10.3138/flor.19.008.
Full textDesideri, Fabrizio. "Labyrinth, Ruin, Junkspace, Monad: dialectical images of the contemporary city." Aisthesis. Pratiche, linguaggi e saperi dell’estetico 14, no. 2 (January 24, 2022): 101–9. http://dx.doi.org/10.36253/aisthesis-13213.
Full textEllis, 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.
Full textJensson, 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.
Full textBertschinger, Dolores Zoé. "Die Lebenslegende Milarepas als „Wimmelbild“." Asiatische Studien - Études Asiatiques 78, no. 2 (May 1, 2024): 267–310. http://dx.doi.org/10.1515/asia-2024-0003.
Full textWu, Yang. "Ritual Action and Its Consequences: Libai (Ritualized Prostration) in Medieval Daoist Rituals." Religions 14, no. 12 (November 27, 2023): 1468. http://dx.doi.org/10.3390/rel14121468.
Full textKamil, Fajri, and 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 (December 24, 2023): 87–112. http://dx.doi.org/10.19109/jsq.v3i2.19037.
Full textButz, 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 (March 19, 2022): 263. http://dx.doi.org/10.3390/rel13030263.
Full textSheng, 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 (October 19, 2022): 987. http://dx.doi.org/10.3390/rel13100987.
Full textΟΙΚΟΝΟΜΙΔΗΣ, Ν. "Το δικαστικό προνόμιο της Νέας Μονής Χίου." BYZANTINA SYMMEIKTA 11 (September 29, 1997): 49. http://dx.doi.org/10.12681/byzsym.823.
Full textBowman, 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 (January 2019): 55–75. http://dx.doi.org/10.1017/s0017816018000342.
Full textLong, Jeffery D. "Goddess, Guru, and Sanghajanani: The Authority and Ongoing Appeal of the Holy Mother Sarada Devi." Religions 15, no. 1 (December 21, 2023): 16. http://dx.doi.org/10.3390/rel15010016.
Full textMichalik, 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.
Full text