Search Results - "Language"

European Language Equality A Strategic Agenda for Digital Language Equality /

Table of Contents: “…European Language Equality - Status Quo in 2022 II -- 4. European Language Equality - The Future Situation in 2030 -- 5. …”
Link to Metadata

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata

Spatializing Language Studies Pedagogical Approaches in the Linguistic Landscape /

Subjects: “…Language and languages Study and teaching.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Subjects: “…Programming & scripting languages: general bicssc…”
DOAB: download the publication
DOAB: description of the publication

The Languages of COVID-19 Translational and Multilingual Perspectives on Global Healthcare

Subjects: “…Language: reference & general bicssc…”
DOAB: download the publication
DOAB: description of the publication

The Miraculous Language of the Qur'an Evidence of Divine Origin by Saeh, Bassam

Subjects: “…Language & Literature…”
DOAB: download the publication
DOAB: description of the publication

Spatializing Language Studies Pedagogical Approaches in the Linguistic Landscape

Subjects: “…Language teaching & learning (other than ELT) bicssc…”
DOAB: download the publication
DOAB: description of the publication

A Language for the World The Standardization of Swahili by Robinson, Morgan J.

Subjects: “…Language teaching & learning (other than ELT) bicssc…”
DOAB: download the publication
DOAB: description of the publication

An Introduction to the Japonic Languages Grammatical Sketches of Japanese Dialects and Ryukyuan Languages

Subjects: “…Endangered language…”
DOAB: download the publication
DOAB: description of the publication

Easy Language Research Text and User Perspectives

Subjects: “…easy language…”
DOAB: download the publication
DOAB: description of the publication

The Rhaeto-Romance Languages by Beninca, Paolo

Subjects: “…Language: reference & general bicssc…”
DOAB: download the publication
DOAB: description of the publication

Cognition, Language and Aging

Subjects: “…Language and Cognition…”
DOAB: download the publication
DOAB: description of the publication

The Mythology in our Language Remarks on Frazer's Golden Bough by Wittgenstein, Ludwig

Subjects: “…Modern Languages and Linguistics…”
DOAB: download the publication
DOAB: description of the publication

The Mythology in Our Language Remarks on Frazer's Golden Bough by Wittgenstein, Ludwig

DOAB: download the publication
DOAB: description of the publication

The Structure of Verse Language by Tomei, Christine D.

Subjects: “…Language…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Subjects: “…Programming & scripting languages: general bicssc…”
DOAB: download the publication
DOAB: description of the publication

Language Testing Reconsidered by Fox, Janna

Subjects: “…Language bicssc…”
DOAB: download the publication
DOAB: description of the publication

On the Border of Language and Dialect

Subjects: “…minority languages…”
DOAB: download the publication
DOAB: description of the publication

Greece's labyrinth of language A study in the early modern discovery of dialect diversity by Van Rooy, Raf

Subjects: “…Language Arts & Disciplines…”
DOAB: download the publication
DOAB: description of the publication