Scala

swMATH7180MaRDI QIDQ19233FDOQ19233

Author name not available (Why is that?)

Cited In (83)

• Object-oriented programming, functional programming and \texttt{R}
• Improving parity games in practice
• Database Programming Languages
• Genetic programming \(+\) proof search \(=\) automatic improvement
• On the decidability of subtyping with bounded existential types and implementation constraints
• Verifying Whiley programs with Boogie
• A language for generic programming in the large
• Metamodeling semantics of multiple inheritance
• Composable models for online Bayesian analysis of streaming data
• Taming the Merge Operator
• Disjoint Polymorphism
• QUASY: Quantitative Synthesis Tool
• Anti-patterns for rule-based languages
• From MDD to BDD and arc consistency
• A domain-theoretic model of nominally-typed object-oriented programming
• Stream fusion, to completeness
• PiStache: Implementing π-Calculus in Scala
• Title not available (Why is that?)
• Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm
• An Introduction to Search Combinators
• From distributed coordination to field calculus and aggregate computing
• On distributability
• Extensible pattern matching via a lightweight language extension
• Compression of Propositional Resolution Proofs via Partial Regularization
• Isabelle as Document-Oriented Proof Assistant
• Verifying and Synthesizing Software with Recursive Functions
• Generative Operational Semantics for Relaxed Memory Models
• Mathematical Foundations of Advanced Informatics
• Possible models computation and revision -- a practical approach
• Ordered Sets in the Calculus of Data Structures
• On detecting over-eager concurrency in asynchronously communicating concurrent object systems
• Behavioral interface description of an object-oriented language with futures and promises
• Programming with C++ concepts
• Practical Optional Types for Clojure
• Generalized arrays for Stainless frames
• Algebraic Structures as Typed Objects
• A Universal Machine for Biform Theory Graphs
• SESSL
• Translating Scala Programs to Isabelle/HOL
• ABC: Algebraic Bound Computation for Loops
• Deadlock detection of Java bytecode
• Title not available (Why is that?)
• Valigator: A Verification Tool with Bound and Invariant Generation
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• A correspondence between type checking via reduction and type checking via evaluation
• Incremental reasoning with lazy behavioral subtyping for multiple inheritance
• OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler
• On the bright side of type classes
• Rings: an efficient JVM library for commutative algebra (invited talk)
• Combining traits with boxes and ownership types in a Java-like setting
• Locales: a module system for mathematical theories
• Functional BIP: embedding connectors in functional programming languages
• Leveraging compiler intermediate representation for multi- and cross-language verification
• Asynchronous User Interaction and Tool Integration in Isabelle/PIDE
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• Isabelle/jEdit – A Prover IDE within the PIDE Framework
• On flexible dynamic trait replacement for Java-like languages
• Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
• Deconfined Global Types for Asynchronous Sessions
• Lifted graphical models: a survey
• Compositional type checking of delta-oriented software product lines
• Programming and reasoning with algebraic effects and dependent types
• Gradual type-and-effect systems
• Scala for Java Developers
• Steps in Scala
• Scala for generic programmers
• Iterating on multiple collections in synchrony
• First-Class Object Sets
• COCHIS: Stable and coherent implicits
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
• The Expression Lemma
• Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
• Experience report: growing and shrinking polygons for random testing of computational geometry algorithms
• RRB vector: a practical general purpose immutable sequence
• Categories as Type Classes in the Scala Algebra System
• The Essence of Dependent Object Types
• Type Inference of Simple Recursive Functions in Scala
• Scala to the Power of Z3: Integrating SMT and Programming
• On Distributed Monitoring and Synthesis
• Foundations of dependent interoperability
• Push versus pull-based loop fusion in query engines
• Generic, Type-Safe and Object Oriented Computer Algebra Software

This page was built for software: Scala