Relevant bibliographies by topics / Lambadi language

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Lambadi language'

Author: Grafiati
Published: 4 June 2021
Last updated: 28 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Lambadi language.'

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.

Journal articles on the topic "Lambadi language"

1

Chandra, Fauzy, Reza Febrian Dimas, and Fahmi Ramadhan Muhammad. "Penguatan Bahasa Indonesia Sebagai Lambang Identitas Nasional." Madani: Jurnal Ilmiah Multidisiplin 1, no. 4 (2023): 479–84. https://doi.org/10.5281/zenodo.7976453.

Full text
Abstract:
The purpose of this research is to analyze the strengthening of the Indonesian language in the country of Indonesia as a symbol of national identity. The writing method used in this research is descriptive-qualitative method. Type of data, The type of data used in this research is secondary data collected from various literatures using the theoretical basis, namely national identity in strengthening the Indonesian language. Indonesian has been designated as a language of unity and a symbol of national identity in the law and national linguistic conferences. Language is one of the national iden
APA, Harvard, Vancouver, ISO, and other styles
2

Dr., Geeta. "The Unheard Story of a Banjara Warrior: With Special Reference to a Play The Banjara Warrior (2018)." Criterion: An International Journal in English 15, no. 3 (2024): 204–12. https://doi.org/10.5281/zenodo.12671294.

Full text
Abstract:
The study looks at the unheard narrative of a Banjara warrior from Shantha Naik's play <em>The Banjara Warrior</em> (2018). It was also translated into Kannada by the dramatist as <em>Veraalu </em>(2019). Veraalu is a Lambani term which means "courageous". The protagonist of the play is Bheema Naik, a warrior from Banjara whose name has never been mentioned in history. The play centers on the story of Bheema Naik, a caravan who provided support to Tippu Sulthan during the Fourth Anglo-Mysore War, which took place between 1798 and 1799. He turned into Tippu's obedient and trustworthy soldier. T
APA, Harvard, Vancouver, ISO, and other styles
3

Dr., Geeta. "Culture, Traditions and Transformations: A Study on Kannada Novel Havan." Criterion: An International Journal in English 16, no. 1 (2025): 400–411. https://doi.org/10.5281/zenodo.14974241.

Full text
Abstract:
Language, tradition and culture share a deeply interconnected and symbiotic relationship. Language is not just a means of communication but also a reflection of the values, beliefs, and social norms of a particular culture. The intertwining of language and culture creates a rich tapestry of human diversity and expression, as each influence and shapes the other. The Lambani/Banjara is one of the most beautiful and colorful nomadic tribes in India. It is very rich in its traditions and cultural practices. In Karnataka, the Lambani/Banjara tribe comes under the Scheduled Caste category and speaks
APA, Harvard, Vancouver, ISO, and other styles
4

Anaby-Tavor, Ateret, Boaz Carmeli, Esther Goldbraich, et al. "Do Not Have Enough Data? Deep Learning to the Rescue!" Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 05 (2020): 7383–90. http://dx.doi.org/10.1609/aaai.v34i05.6233.

Full text
Abstract:
Based on recent advances in natural language modeling and those in text generation capabilities, we propose a novel data augmentation method for text classification tasks. We use a powerful pre-trained neural network model to artificially synthesize new labeled data for supervised learning. We mainly focus on cases with scarce labeled data. Our method, referred to as language-model-based data augmentation (LAMBADA), involves fine-tuning a state-of-the-art language generator to a specific task through an initial training phase on the existing (usually small) labeled data. Using the fine-tuned m
APA, Harvard, Vancouver, ISO, and other styles
5

Maemuah, Maemunah, Misnawaty Usman та Hasmawati Hasmawati. "KEMAMPUAN MENULIS LAMBANG BILANGAN数字(shù zì) BAHASA MANDARIN SISWA SMA CELEBES GLOBAL SCHOOL MAKASSAR". Wen Chuang:Journal of Foreign Language Studies, Linguistics, Education, Literatures, Cultures, and Sinology 1, № 2 (2022): 129. http://dx.doi.org/10.26858/wenchuang.v1i2.31753.

Full text
Abstract:
Maemunah, 2021. Ability to Write Number Symbols (shù zì) in Chinese for High School Students Celebes Global School Makassar. Thesis. Mandarin Language Education Study Program, Department of Foreign Languages, Faculty of Languages and Literature. Makassar State University (supervised by Misnawaty Usman and Hasmawati).This research is a descriptive quantitative research to describe the students’ ability to write Mandarin numbers at the 10th grade of SMA Celebes Global School Makassar which collected 14 students of class X of SMA Celebes Global School. The data of this study was gathered throght
APA, Harvard, Vancouver, ISO, and other styles
6

Mutiara Dyina Sari Laya. "Dynamic Verb in Gorontalo Language." Sintaksis : Publikasi Para ahli Bahasa dan Sastra Inggris 2, no. 4 (2024): 335–42. http://dx.doi.org/10.61132/sintaksis.v2i4.1032.

Full text
Abstract:
Local language is a language in region are still production in addition to indonesian as the firs languge of country” In relation with the position of Indonesian, local language has a function also as a tool of communication in a certain community. In addition a local language gives a contribution as a marker or the presence of a community. This follows the Mahsun's statement that “salah satu yang menjadi simbol atau lambang identitas suatu komunitas adalah bahasa Bangsa merupakan penanda komunitas (etnis) yang sangat penting” “one that has become a symbol or emblem identity of a community is
APA, Harvard, Vancouver, ISO, and other styles
7

Pratiwi, Rahmawati Eka, Ahmad Dahidi, and Nuria Haristiani. "ANALISIS KESALAHAN PELAFALAN HURUF KONSONAN TSU DALAM BAHASA JEPANG TERHADAP PENUTUR BAHASA INDONESIA." JAPANEDU: Jurnal Pendidikan dan Pengajaran Bahasa Jepang 1, no. 2 (2016): 135. http://dx.doi.org/10.17509/japanedu.v1i2.3294.

Full text
Abstract:
AbstrakPada saat mempelajari bahasa asing, pada umumnya kita tentu akan mempelajariya huruf dari bahasa tersebut. Setiap bahasa memiliki fonem yang berbeda-beda. Pembelajaran huruf dan bagaimana cara melafalkannya merupakan pembelajaran dasar dalam pembelajaran bahasa asing. Fonem adalah bunyi terkecil yang dapat membedakan makna, sedangkan huruf adalah lambang bunyi atau lambang fonem. Misalnya, dalam bahasa Indonesia yang membedakan kata “kelas” dan “keras” adalah fonem /l/ dan /r/. Contoh lainnya yang berhubungan dengan bahasa Jepang. Pada penulisan bahasa Jepang, sering kita temukan kata d
APA, Harvard, Vancouver, ISO, and other styles
8

Naik, Prasann, and Dishari Chattaraj. "Language Usage and Perceptions: A Case of Lambani Speakers in Dharwad District of Karnataka." International Journal of Communication and Linguistic Studies 23, no. 2 (2025): 109–30. https://doi.org/10.18848/2327-7882/cgp/v23i02/109-130.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

STANLEY, E. G. "LAURENCE NOWELL AND WILLIAM LAMBARD." Notes and Queries 46, no. 1 (1999): 3—b—4. http://dx.doi.org/10.1093/nq/46.1.3-b.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

BERKHOUT, CARL T. "WILLIAM LAMBARDE AND OLD ENGLISH." Notes and Queries 47, no. 4 (2000): 415–20. http://dx.doi.org/10.1093/nq/47-4-415.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Lambadi language"

1

Kathail, Vinod. "Optimal interpreters for lambda-calculus based functional languages." Thesis, Massachusetts Institute of Technology, 1990. http://hdl.handle.net/1721.1/14040.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.<br>Includes bibliographical references (leaves 195-197).<br>by Vinod Kumar Kathail.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
2

Silvia, Gilezan. "Intersection types in lambda calculus and logic." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 1993. https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=NDLTD&language=en.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Madiot, Jean-Marie. "Higher-order languages : dualities and bisimulation enhancements." Thesis, Lyon, École normale supérieure, 2015. http://www.theses.fr/2015ENSL0988/document.

Full text
Abstract:
Les comportements des processus concurrents peuvent être exprimés en utilisant des calculs de processus, des langages formels simples qui permettent de démontrer des résultats mathématiques précis sur les interactions entre processus. Un exemple très simple est CCS, un autre exemple est le pi-calcul, plus expressif grâce à un mécanisme de communication de canaux. Dans ce dernier, on peut instaurer un système de types (pour raffiner l'analyse aux environnements plus contraints) et encoder le lambda-calcul (qui représente les calculs séquentiels).Certains de ces calculs, comme CCS ou des variant
APA, Harvard, Vancouver, ISO, and other styles
4

Xiao, Yong. "From syntactic theories to interpreters : specifying and proving properties /." view abstract or download file of text, 2004. http://wwwlib.umi.com/cr/uoregon/fullcit?p3136455.

Full text
Abstract:
Thesis (Ph. D.)--University of Oregon, 2004.<br>Typescript. Includes vita and abstract. Includes bibliographical references (leaves 152-155). Also available for download via the World Wide Web; free to University of Oregon users.
APA, Harvard, Vancouver, ISO, and other styles
5

Chelyah, Hassane. "Analyse phonographématique de l'Arabe en vue d'applications informatiques." Google Book Search Library Project, 1994. http://books.google.com/books?id=gn1jAAAAMAAJ.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Thévenon, Patrick. "Vers un assistant à la preuve en langue naturelle." Chambéry, 2006. http://www.theses.fr/2006CHAMS036.

Full text
Abstract:
Cette Thèse est la conclusion de trois ans de travail sur un projet nommé DemoNat. Le but de ce projet est la conception d'un système d'analyse et de vérification de démonstrations mathématiques écrites en langue naturelle. L'architecture générale du système se décrit en 4 phases : 1. Analyse de la démonstration par des outils linguistiques ; 2. Traduction de la démonstration dans un langage restreint ; 3. Interprétation du texte traduit en un arbre de règles de déduction ; 4. Validation des règles de déduction à l'aide d'un démonstrateur automatique. Ce projet a mobilisé des équipes de lingui
APA, Harvard, Vancouver, ISO, and other styles
7

Ahn, Ki Yung. "The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types." PDXScholar, 2014. https://pdxscholar.library.pdx.edu/open_access_etds/2088.

Full text
Abstract:
Two major applications of lambda calculi in computer science are functional programming languages and mechanized reasoning systems (or, proof assistants). According to the Curry--Howard correspondence, it is possible, in principle, to design a unified language based on a typed lambda calculus for both logical reasoning and programming. However, the different requirements of programming languages and reasoning systems make it difficult to design such a unified language that provides both. Programming languages usually extend lambda calculi with programming-friendly features (e.g., recursive dat
APA, Harvard, Vancouver, ISO, and other styles
8

Madet, Antoine. "Complexité Implicite de Lambda-Calculs Concurrents." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00794977.

Full text
Abstract:
Contrôler la consommation en ressources des programmes informatiques est d'importance capitale, non seulement pour des raisons de performance, mais aussi pour des questions de sécurité quand par exemple certains systèmes mobiles ou embarqués disposent de quantités limitées de ressources. Dans cette thèse, nous développons des critères statiques pour contrôler la consommation en ressources de programmes concurrents d'ordre supérieur. Nous prenons comme point de départ le cadre des Logiques Light qui a été étudié afin de contrôler la complexité de programmes fonctionnels d'ordre supérieur au moy
APA, Harvard, Vancouver, ISO, and other styles
9

Müller, Fritz [Verfasser], and Reinhard [Akademischer Betreuer] Wilhelm. "On confluence and semantic full abstraction of lambda calculus languages / Fritz Müller ; Betreuer: Reinhard Wilhelm." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016. http://d-nb.info/1122110596/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Might, Matthew Brendon. "Environment Analysis of Higher-Order Languages." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/16289.

Full text
Abstract:
Any analysis of higher-order languages must grapple with the tri-facetted nature of lambda. In one construct, the fundamental control, environment and data structures of a language meet and intertwine. With the control facet tamed nearly two decades ago, this work brings the environment facet to heel, defining the environment problem and developing its solution: environment analysis. Environment analysis allows a compiler to reason about the equivalence of environments, i.e., name-to-value mappings, that arise during a program's execution. In this dissertation, two different techniques-abstrac
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Lambadi language"

1

Rameśa, Ārya Āra. Bañjārā bhāshā apaṇe āpa sīkha =: Learn Banjara language yourself. Bañjārā Prakāśana, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rāṭhoṛa, Subhāsha. Lamāṇī bolī bhāsha kā samājabhāshā vaijñānika adhyayana. Atula Prakāśana, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sōmakka, Eṃ. Laṃbāṇi makkaḷa Kannaḍa kalikeya samasyegaḷu. Annadāni Bhairava Prakāśana, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Benthem, J. F. A. K. van. Language in action: Categories, lambdas, and dynamic logic. North-Holland, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

J. F. A. K. van Benthem. Language in action: Categories, lambdas, and dynamic logic. North-Holland, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Benthem, Johan van. Language in action: Categories, lambdas and dynamic logic. North-Holland, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

editor, Obara Elżbieta M., and Lo Guidice Giovanni translator, eds. Soluzioni commentate agli esercizi dell'Introduzione all'ebraico biblico di T.O. Lambdin. Gregorian & Biblical Press, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

1939-, Charlton James, ed. Fighting words: Writers lambast other writers--from Aristotle to Anne Rice. Algonquin Books of Chapel Hill, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Gassmann, Hanni. Olaman!!: Tokples bilong mi i swit moa! Summer Institute of Linguistics, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Atkinson, Joy. Lufuwa wanubo buku =: "We will learn to read" book. Summer Institute of Linguistics, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Lambadi language"

1

Sharan, Kishori. "Lambda Expressions." In Java Language Features. Apress, 2018. http://dx.doi.org/10.1007/978-1-4842-3348-1_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Muskens, Reinhard. "Language, Lambdas, and Logic." In Resource-Sensitivity, Binding and Anaphora. Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-010-0037-6_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sharan, Kishori. "Lambda Expressions." In Beginning Java 8 Language Features. Apress, 2014. http://dx.doi.org/10.1007/978-1-4302-6659-4_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Tanabe, Yudai, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara. "Compilation Semantics for a Programming Language with Versions." In Programming Languages and Systems. Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-8311-7_1.

Full text
Abstract:
AbstractProgramming with versions is a paradigm that allows a program to use multiple versions of a module so that the programmer can selectively use functions from both older and newer versions of a single module. Previous work formalized $$\lambda _{\textrm{VL}}$$ λ VL , a core calculus for programming with versions, but it has not been integrated into practical programming languages. In this paper, we propose VL, a Haskell-subset surface language for $$\lambda _{\textrm{VL}}$$ λ VL along with its compilation method. We formally describe the core part of the VL compiler, which translates fro
APA, Harvard, Vancouver, ISO, and other styles
5

Poças, Diogo, Diana Costa, Andreia Mordido, and Vasco T. Vasconcelos. "System $$F^\mu _\omega $$ with Context-free Session Types." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_15.

Full text
Abstract:
AbstractWe study increasingly expressive type systems, from $$F^\mu $$ F μ —an extension of the polymorphic lambda calculus with equirecursive types—to $$F^{\mu ;}_\omega $$ F ω μ ; —the higher-order polymorphic lambda calculus with equirecursive types and context-free session types. Type equivalence is given by a standard bisimulation defined over a novel labelled transition system for types. Our system subsumes the contractive fragment of $$F^\mu _\omega $$ F ω μ as studied in the literature. Decidability results for type equivalence of the various type languages are obtained from the transl
APA, Harvard, Vancouver, ISO, and other styles
6

Mailund, Thomas. "Lambda Expressions." In Domain-Specific Languages in R. Apress, 2018. http://dx.doi.org/10.1007/978-1-4842-3588-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ye, Wenjia, and Bruno C. d. S. Oliveira. "Pragmatic Gradual Polymorphism with References." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_6.

Full text
Abstract:
AbstractGradualizing System F has been widely discussed. A big challenge is to preserve relational parametricity and/or the gradual guarantee. Most past work has focused on the preservation of parametricity, but often without the gradual guarantee. A few recent works satisfy both properties by giving up System F syntax, or with some restrictions and the introduction of sophisticated mechanisms in the dynamic semantics.While parametricity is important for polymorphic languages, most mainstream languages typically do not satisfy it, for a variety of different reasons. In this paper, we explore t
APA, Harvard, Vancouver, ISO, and other styles
8

Murase, Yuito, Yuichi Nishiwaki, and Atsushi Igarashi. "Contextual Modal Type Theory with Polymorphic Contexts." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_11.

Full text
Abstract:
AbstractModal types—types that are derived from proof systems of modal logic—have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type constructor for code types and controls free variables and their types in code values. Nanevski et al. have proposed contextual modal type theory, which has modal types with fine-grained information on free variables: modal types are explicitly indexed by contexts—the types of all free variables in code values.This paper presents $$\lambda _{\fo
APA, Harvard, Vancouver, ISO, and other styles
9

Ahman, Danel, and Andrej Bauer. "Runners in Action." In Programming Languages and Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_2.

Full text
Abstract:
AbstractRunners of algebraic effects, also known as comodels, provide a mathematical model of resource management. We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly define their own intermediate “virtual machines”. We capture the core ideas of programming with runners in an equational calculus $$\lambda _{\mathsf {coop}}$$ λ coop , which we equip with a sound and coherent denotational semantics that guarantees the linear use of resources and execution of finalisation code. We accompany $$\lambda _{\mat
APA, Harvard, Vancouver, ISO, and other styles
10

Lämmel, Ralf. "An Excursion into the Lambda Calculus." In Software Languages. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-90800-7_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Lambadi language"

1

Wang, Yusong, Dongyuan Li, Jialun Shen, et al. "LAMBDA: Large Language Model-Based Data Augmentation for Multi-Modal Machine Translation." In Findings of the Association for Computational Linguistics: EMNLP 2024. Association for Computational Linguistics, 2024. http://dx.doi.org/10.18653/v1/2024.findings-emnlp.893.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kazemi, Mehran, Najoung Kim, Deepti Bhatia, Xin Xu, and Deepak Ramachandran. "LAMBADA: Backward Chaining for Automated Reasoning in Natural Language." In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). Association for Computational Linguistics, 2023. http://dx.doi.org/10.18653/v1/2023.acl-long.361.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Harvey, Brian, and Jens Monig. "Lambda in blocks languages: Lessons learned." In 2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond). IEEE, 2015. http://dx.doi.org/10.1109/blocks.2015.7368997.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dasare, Ashwini, K. T. Deepak, Mahadeva Prasanna, and K. Samudra Vijaya. "Text to Speech System for Lambani - A Zero Resource, Tribal Language of India." In 2022 25th Conference of the Oriental COCOSDA International Committee for the Co-ordination and Standardisation of Speech Databases and Assessment Techniques (O-COCOSDA). IEEE, 2022. http://dx.doi.org/10.1109/o-cocosda202257103.2022.9997838.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

CERBU, Olga, and Iuliana MAFTEA. "Utilizarea expresiilor lambda în limbajul de programare Java." In Materialele Conferinţei Ştiinţifice Internaţionale "Abordări inter/transdisciplinare în predarea ştiinţelor reale, (concept STEAM)". Ion Creangă Pedagogical State University, 2024. https://doi.org/10.46727/c.steam-2024.p280-283.

Full text
Abstract:
Programming paradigms provide suggestions on how code should be structured to solve the problem at hand. The functional paradigm is the one that focuses on using functions as fundamental units of abstraction, but also on avoiding mutability and side effects. It is characteristic to describe the logic declaratively, that is, we emphasize the expression of what we want to achieve, rather than the way or steps to make it possible. One way to use this paradigm in the Java programming language is lambda expressions.
APA, Harvard, Vancouver, ISO, and other styles
6

Chlipala, Adam. "A certified type-preserving compiler from lambda calculus to assembly language." In the 2007 ACM SIGPLAN conference. ACM Press, 2007. http://dx.doi.org/10.1145/1250734.1250742.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Duvert, Fréderic, and Renato De Mori. "Conditional models for detecting lambda-functions in a spoken language understanding system." In Interspeech 2010. ISCA, 2010. http://dx.doi.org/10.21437/interspeech.2010-528.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Tobisawa, Kazunori. "A Meta Lambda Calculus with Cross-Level Computation." In POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 2015. http://dx.doi.org/10.1145/2676726.2676976.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Abel, Andreas, and Christian Sattler. "Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus." In PPDP '19: Principles and Practice of Programming Languages 2019. ACM, 2019. http://dx.doi.org/10.1145/3354166.3354168.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hillebrand, Gerd G., and Paris C. Kanellakis. "Functional database query languages as typed lambda calculi of fixed order (extended abstract)." In the thirteenth ACM SIGACT-SIGMOD-SIGART symposium. ACM Press, 1994. http://dx.doi.org/10.1145/182591.182615.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Lambadi language' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography