swMATH7180MaRDI QIDQ19233FDOQ19233
Author name not available (Why is that?)
Official website: https://www.scala-lang.org/
Source code repository: https://github.com/scala
Cited In (only showing first 100 items - show all)
- 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
- 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
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
- From distributed coordination to field calculus and aggregate computing
- On distributability
- Algebraic structures as typed objects
- Extensible pattern matching via a lightweight language extension
- FeatherTrait
- ABC: algebraic bound computation for loops
- Applying data refinement for monadic programs to Hopcroft's algorithm
- A universal machine for biform theory graphs
- Possible models computation and revision -- a practical approach
- 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
- Taming the merge operator
- Generalized arrays for Stainless frames
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Deadlock detection of Java bytecode
- Compression of propositional resolution proofs via partial regularization
- Isabelle as document-oriented proof assistant
- Helena
- Kotlin
- Volcano
- AutoCorres
- sdols
- openf4
- DEECO
- IETL
- Crust
- Concrete
- LaCasa
- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
- A correspondence between type checking via reduction and type checking via evaluation
- Verifying and synthesizing software with recursive functions (invited contribution)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- IMP2_Binary_Heap
- KeY-ABS
- 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
- Whiteoak
- \textsc{Mnemonics}: type-safe bytecode generation at run time
- QUASY: quantitative synthesis tool
- On flexible dynamic trait replacement for Java-like languages
- Disjoint polymorphism
- Deconfined Global Types for Asynchronous Sessions
- Lifted graphical models: a survey
- Compositional type checking of delta-oriented software product lines
- Generative operational semantics for relaxed memory models
- Programming and reasoning with algebraic effects and dependent types
- An introduction to search combinators
- Stochastic modelling for systems biology
- OCaml-Java: the Java virtual machine as the target of an OCaml compiler
- Ordered sets in the calculus of data structures
- Protelis
- On the bright side of type classes: instance arguments in Agda
- TkWinHOL
- OptiML
- jscl-meditor
- JAS
- Symja
- JaCoP
- FParser
- OCaml
- Isabelle/jEdit
- PIDE
- Erlang
- occam-pi
- Isabelle/PIDE
- Pistache
- Scarab
- BCEL
- Mnemonics
- Facile
- Commonloops
- Pict
- Leon
- Creol
- Linda
- Multilisp
- YAFOOL
- ABC
- DyC
- Flask
- QuakeTM
- JAMPACK
This page was built for software: Scala
