Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Link to Metadata

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: Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

European Language Grid A Language Technology Platform for Multilingual Europe /

Table of Contents: “…Preface -- 1. European Language Grid: Introduction -- 2. The European Language Grid Platform: Basic Concepts -- 3. …”
Link to Metadata

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

Living with Nature, Cherishing Language Indigenous Knowledges in the Americas Through History /

Table of Contents: “…Combining Visions of Well-Being through the Generational Gap: The Views of Tlaxcala Old and Young on Environment, Tradition and Language -- 8. "Amo kitlapanas tetl!": Heritage language and the defense against fracking in the Huasteca Potosina, Mexico -- 9.The Interrelation between Language, History and Traditional Ecological Knowledge within the Nahuat-Pipil context of El Salvador -- 10. …”
Link to Metadata

Mathematics Education and Language Diversity The 21st ICMI Study /

Table of Contents: “…Introduction -- Challenges and opportunities for second language learners in undergraduate mathematics -- Mathematics in the hands of deaf learners and blind learners: visual-gestural-somatic means of doing and expressing -- Challenging deficit perspectives: student agency in multilingual mathematics classrooms -- Language diversity in mathematics teacher education: challenges across three countries -- Impact of differing grammatical structures in mathematics teaching and learning -- Addressing multi-language diversity in mathematics teacher education programs -- Language diversity and new media: issues of multimodality and performance -- Making use of multiple (non-shared) first languages: state and need of research and development in the European language context -- Purposefully relating multilingual registers - building theory and teaching strategies for bilingual learners based on an integration of three traditions -- Trends in mathematics education in multilingual contexts for indigenous population: experiences from Latin America -- Tensions in teaching mathematics in contexts of language diversity -- Research rationalities and the construction of the deficient multilingual mathematics learner -- Language diversity in research and its consequences -- Using ICTs to facilitate multilingual mathematics teaching and learning -- Mathematics teaching, language policy and the political role of language: perspectives from around the world -- Reflections -- Index.…”
Link to Metadata

New Materialist Explorations into Language Education

Table of Contents: “…Towards Socio-Material Research Approaches in Language Education -- Part I. Material Agency -- 2. …”
Link to Metadata

Foundation Models for Natural Language Processing Pre-trained Language Models Integrating Media / by Paaß, Gerhard, Giesselbach, Sven

Table of Contents: “…Introduction -- 2. Pre-trained Language Models -- 3. Improving Pre-trained Language Models -- 4. …”
Link to Metadata

Language Contacts and Discourses in the Far North

Table of Contents: “…Chapter 1: Language Discourses and Contacts in the 21st Century Far North - Introduction to the Volume -- Chapter 2: Managing Differences, Showing (Dis)affiliations: Language Contacts Through the Eyes of the Inhabitants of a Village in Finnish Lapland. -- Chapter 3: 'Somewhere Between Engineering and Humanities': Discourses of Investment in Additional Language Learning Among Students of Higher Education in Finland -- Chapter 4: The Effects of the Beginning of University Studies on the Language Revitalisation of Skolt Saami as Seen from the Perspective of Students and the Language Community -- Chapter 5: Talkin' 'bout my Integration: Views on Language, Identity, and Integration Among Dutch and Finnish Migrants to the Swedish Countryside -- Chapter 6: Finnish, the Most Difficult Language to Learn? …”
Link to Metadata

Language Technologies for the Challenges of the Digital Age 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /

Table of Contents: “…Examining the Impact of Implicitness on the Perception of Hate Speech -- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication -- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource -- How Social Media Text Analysis Can Inform Disaster Management -- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks -- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena -- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors -- Twitter Geolocation Prediction Using Neural Networks -- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy -- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems -- Supporting Sustainable Process Documentation -- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information -- Using Argumentative Structure to Grade Persuasive Essays.…”
Link to Metadata

Essential Speech and Language Technology for Dutch Results by the STEVIN-programme /

Table of Contents: “…And now -- 21.The Dutch-Flemish HLT Agency: Managing the Lifecycle of STEVIN's Language Resources. R.van Veenendaal, L.van Eerten, C.Cucchiarini, andP.Spyns -- 22.Conclusions and Outlook to the Future. …”
Link to Metadata

Representation Learning for Natural Language Processing by Liu, Zhiyuan, Lin, Yankai, Sun, Maosong

Subjects: “…Natural language processing (Computer science).…”
Link to Metadata

XcalableMP PGAS Programming Language From Programming Model to Applications /

Table of Contents: “…Chapter 1: XcalableMP programming model and language -- Chapter 2: Design and Performance Evaluation of the Omni XcalableMP Compiler -- Chapter 3: Coarrays in the Context of XcalableMP -- Chapter 4: XcalableACC: an Integration of XcalableMP and OpenACC -- Chapter 5: Mixed-language programming with XMP and Python -- Chapter 6: Three-dimensional Fluid Code with XcalableMP -- Chapter 7: Hybrid-View Data Model Programming of Nuclear Fusion Simulation Code in XcalableMP -- Chapter 8: Parallelization of Atomic Image Reconstruction from X-ray Fluorescence Holograms by XcalableMP -- Chapter 9: Multi-SPMD programming model with YML and XcalableMP -- Chapter 10: XcalableMP 2.0 and Future Directions.…”
Link to Metadata

Representation Learning for Natural Language Processing

Subjects: “…Natural language processing (Computer science).…”
Link to Metadata

Journeys Towards Intercultural Capability in Language Classrooms Voices from Students, Teachers and Researchers / by East, Martin, Tolosa, Constanza, Howard, Jocelyn, Biebricher, Christine, Scott, Adèle

Table of Contents: “…Beginning the journeys towards intercultural capability -- Studies on the intercultural dimension across the globe -- The intercultural dimension in the New Zealand language teaching context -- Introducing the two-year study -- Journeys towards intercultural capability: The students' voices -- Journeys towards intercultural capability: The teachers' voices -- Journeys towards intercultural capability: The researchers' voices -- Journeys towards intercultural capability: Retrospective reflections.…”
Link to Metadata