Artigos de revistas sobre o tema "Monadic Interpreter"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Monadic Interpreter".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
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 de junho de 2023): 100–123. http://dx.doi.org/10.1145/3591224.
Texto completo da fonteZakowski, 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 de agosto de 2021): 1–30. http://dx.doi.org/10.1145/3473572.
Texto completo da fonteSergey, Ilya, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke e Frank Piessens. "Monadic abstract interpreters". ACM SIGPLAN Notices 48, n.º 6 (23 de junho de 2013): 399–410. http://dx.doi.org/10.1145/2499370.2491979.
Texto completo da fonteYoon, Irene, Yannick Zakowski e Steve Zdancewic. "Formal reasoning about layered monadic interpreters". Proceedings of the ACM on Programming Languages 6, ICFP (29 de agosto de 2022): 254–82. http://dx.doi.org/10.1145/3547630.
Texto completo da fonteMichelland, 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 de agosto de 2024): 602–29. http://dx.doi.org/10.1145/3674646.
Texto completo da fonteRabinovich, Alexander. "The full binary tree cannot be interpreted in a chain". Journal of Symbolic Logic 75, n.º 4 (dezembro de 2010): 1489–98. http://dx.doi.org/10.2178/jsl/1286198158.
Texto completo da fonteQuintanilla, Pablo. "Comprensión, imaginación y transformación". Areté 20, n.º 1 (16 de março de 2008): 111–35. http://dx.doi.org/10.18800/arete.200801.004.
Texto completo da fonteLifsches, Shmuel, e Saharon Shelah. "Peano arithmetic may not be interpretable in the monadic theory of linear orders". Journal of Symbolic Logic 62, n.º 3 (setembro de 1997): 848–72. http://dx.doi.org/10.2307/2275575.
Texto completo da fonteGurevich, Yuri, e Saharon Shelah. "On the strength of the interpretation method". Journal of Symbolic Logic 54, n.º 2 (junho de 1989): 305–23. http://dx.doi.org/10.2307/2274850.
Texto completo da fonteSCHWINGHAMMER, JAN. "Coherence of subsumption for monadic types". Journal of Functional Programming 19, n.º 2 (março de 2009): 157–72. http://dx.doi.org/10.1017/s0956796808006886.
Texto completo da fonteD'souza, Deepak. "A Logical Characterisation of Event Clock Automata". International Journal of Foundations of Computer Science 14, n.º 04 (agosto de 2003): 625–39. http://dx.doi.org/10.1142/s0129054103001923.
Texto completo da fonteLINDELL, STEVEN. "A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES". International Journal of Foundations of Computer Science 19, n.º 01 (fevereiro de 2008): 205–17. http://dx.doi.org/10.1142/s0129054108005632.
Texto completo da fonteGHILARDI, 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 (março de 2017): 62–76. http://dx.doi.org/10.1017/jsl.2016.70.
Texto completo da fontePalmisano, Stefania. "Asceticism in Modern Times". Fieldwork in Religion 9, n.º 2 (3 de agosto de 2015): 202–23. http://dx.doi.org/10.1558/firn.v4.i1.16445.
Texto completo da fontePalmisano, Stefania, e Marcin Jewdokimow. "New Monasticism: An Answer to the Contemporary Challenges of Catholic Monasticism?" Religions 10, n.º 7 (28 de junho de 2019): 411. http://dx.doi.org/10.3390/rel10070411.
Texto completo da fonteMairs, 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 de maio de 2020): 50–102. http://dx.doi.org/10.1515/jah-2019-0001.
Texto completo da fonteVANDERPUTTEN, 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 de março de 2010): 229–51. http://dx.doi.org/10.1017/s0022046909992740.
Texto completo da fonteGould, 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.
Texto completo da fonteMio 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 de dezembro de 2024): 245–66. https://doi.org/10.25115/kasp.v5i4.10343.
Texto completo da fonteElias Downey, Martha. "Monasticism, Monotheism, and Monogamy: Past and Present Expressions of the Undivided Life". Religions 10, n.º 8 (20 de agosto de 2019): 489. http://dx.doi.org/10.3390/rel10080489.
Texto completo da fonteKeuchel, 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 de agosto de 2022): 194–224. http://dx.doi.org/10.1145/3547628.
Texto completo da fonteSharf, Robert. "Buddhist Modernism and the Rhetoric of Meditative Experience". Numen 42, n.º 3 (1995): 228–83. http://dx.doi.org/10.1163/1568527952598549.
Texto completo da fonteGULMANN HENRIKSEN, JESPER. "AN EXPRESSIVE EXTENSION OF TLC". International Journal of Foundations of Computer Science 13, n.º 03 (junho de 2002): 341–60. http://dx.doi.org/10.1142/s0129054102001151.
Texto completo da fonteSofronova, L. V., e T. G. Chougounova. "Apologia Pro Vita Sua: Erasmus Roterodamus on His Failed Monastic Attempt". Prepodavatel XXI vek, n.º 1/2 (31 de março de 2024): 332–45. http://dx.doi.org/10.31862/2073-9613-2024-1-332-345.
Texto completo da fonteQuartier, Thomas. "Liturgische Theologie als Praxisreflexion. Qualitative Forschung unter Benediktineroblaten". Yearbook for Ritual and Liturgical Studies 36 (31 de dezembro de 2020): 115–37. http://dx.doi.org/10.21827/yrls.36.115-137.
Texto completo da fonteClough, Bradley S. "Paths of Monastic Practice from India to Sri Lanka". Buddhist Studies Review 35, n.º 1-2 (31 de dezembro de 2018): 29–45. http://dx.doi.org/10.1558/bsrv.36751.
Texto completo da fonteSheng, 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 de novembro de 2022): 1081. http://dx.doi.org/10.3390/rel13111081.
Texto completo da fonteMcGrath, Paul. "Knowledge management in monastic communities of the medieval Irish Celtic church". Journal of Management History 13, n.º 2 (17 de abril de 2007): 211–23. http://dx.doi.org/10.1108/17511340710735591.
Texto completo da fonteGodlewski, Włodzimierz. "Naqlun 2016: Hermitage EE.50 preliminary report". Polish Archaeology in the Mediterranean 26, n.º 1 (9 de julho de 2018): 159–70. http://dx.doi.org/10.5604/01.3001.0012.1773.
Texto completo da fonteFlechsig, 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 de junho de 2023): 1001. http://dx.doi.org/10.3390/brainsci13071001.
Texto completo da fonteHorowitz, Asher. "How Levinas Taught Me to Read Benjamin". PhaenEx 1, n.º 1 (5 de novembro de 2006): 140. http://dx.doi.org/10.22329/p.v1i1.40.
Texto completo da fonteSedov, Vladimir V. "Staircase turret of the St. George’s cathedral in the Yuriev Monastery: archaeology, architecture and fresco painting". Rossiiskaia arkheologiia, n.º 4 (dezembro de 2021): 132–43. http://dx.doi.org/10.31857/s086960630016578-4.
Texto completo da fonteReese, Ephrem. "Thomas Aquinas and Dionysian Ecclesiastical Hierarchy". Journal of Medieval and Early Modern Studies 52, n.º 2 (1 de maio de 2022): 191–217. http://dx.doi.org/10.1215/10829636-9687844.
Texto completo da fonteMitchell, 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 de janeiro de 2022): 260–85. http://dx.doi.org/10.3390/heritage5010014.
Texto completo da fonteRUSU, 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 de março de 2024): 187–228. http://dx.doi.org/10.62616/smim.2023.08.
Texto completo da fonteRothschild, Clare K. "Ethiopianising the Devil: ὁ μέλας in Barnabas 4". New Testament Studies 65, n.º 2 (22 de fevereiro de 2019): 223–45. http://dx.doi.org/10.1017/s0028688518000395.
Texto completo da fontePratt, David. "The voice of the king in ‘King Edgar's Establishment of Monasteries’". Anglo-Saxon England 41 (dezembro de 2012): 145–204. http://dx.doi.org/10.1017/s026367511300001x.
Texto completo da fonteGrisé, C. Annette. "The Textual Community of Syon Abbey". Florilegium 19, n.º 1 (janeiro de 2002): 149–62. http://dx.doi.org/10.3138/flor.19.008.
Texto completo da fonteDesideri, Fabrizio. "Labyrinth, Ruin, Junkspace, Monad: dialectical images of the contemporary city". Aisthesis. Pratiche, linguaggi e saperi dell’estetico 14, n.º 2 (24 de janeiro de 2022): 101–9. http://dx.doi.org/10.36253/aisthesis-13213.
Texto completo da fonteEllis, 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.
Texto completo da fonteJensson, 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.
Texto completo da fonteBertschinger, Dolores Zoé. "Die Lebenslegende Milarepas als „Wimmelbild“". Asiatische Studien - Études Asiatiques 78, n.º 2 (1 de maio de 2024): 267–310. http://dx.doi.org/10.1515/asia-2024-0003.
Texto completo da fonteWu, Yang. "Ritual Action and Its Consequences: Libai (Ritualized Prostration) in Medieval Daoist Rituals". Religions 14, n.º 12 (27 de novembro de 2023): 1468. http://dx.doi.org/10.3390/rel14121468.
Texto completo da fonteKamil, 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 de dezembro de 2023): 87–112. http://dx.doi.org/10.19109/jsq.v3i2.19037.
Texto completo da fonteButz, 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 de março de 2022): 263. http://dx.doi.org/10.3390/rel13030263.
Texto completo da fonteSheng, 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 de outubro de 2022): 987. http://dx.doi.org/10.3390/rel13100987.
Texto completo da fonteΟΙΚΟΝΟΜΙΔΗΣ, Ν. "Το δικαστικό προνόμιο της Νέας Μονής Χίου". BYZANTINA SYMMEIKTA 11 (29 de setembro de 1997): 49. http://dx.doi.org/10.12681/byzsym.823.
Texto completo da fonteBowman, 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 (janeiro de 2019): 55–75. http://dx.doi.org/10.1017/s0017816018000342.
Texto completo da fonteLong, Jeffery D. "Goddess, Guru, and Sanghajanani: The Authority and Ongoing Appeal of the Holy Mother Sarada Devi". Religions 15, n.º 1 (21 de dezembro de 2023): 16. http://dx.doi.org/10.3390/rel15010016.
Texto completo da fonteMichalik, 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.
Texto completo da fonte