Scala
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Object-oriented programming, functional programming and \texttt{R}
- On the bright side of type classes: instance arguments in Agda
- Improving parity games in practice
- Gradual type-and-effect systems
- Genetic programming + proof search = automatic improvement
- On the decidability of subtyping with bounded existential types and implementation constraints
- A language for generic programming in the large
- Metamodeling semantics of multiple inheritance
- Categories as type classes in the Scala algebra system
- Verifying Whiley programs with Boogie
- Database Programming Languages
- Composable models for online Bayesian analysis of streaming data
- Anti-patterns for rule-based languages
- Scala for generic programmers
- A domain-theoretic model of nominally-typed object-oriented programming
- From MDD to BDD and arc consistency
- Iterating on multiple collections in synchrony
- First-Class Object Sets
- Stream fusion, to completeness
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- scientific article; zbMATH DE number 7453193 (Why is no real title available?)
- From distributed coordination to field calculus and aggregate computing
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
- On distributability
- Algebraic structures as typed objects
- Extensible pattern matching via a lightweight language extension
- ABC: algebraic bound computation for loops
- Applying data refinement for monadic programs to Hopcroft's algorithm
- A universal machine for biform theory graphs
- Translating Scala programs to Isabelle/HOL. System description
- Mathematical Foundations of Advanced Informatics
- Possible models computation and revision -- a practical approach
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
- 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
- The Expression Lemma
- Generic, type-safe and object oriented computer algebra software
- The essence of dependent object types
- RComp
- RegStab
- ALDOR
- TkWinHOL
- Valigator
- JoCaml
- BETA
- CLOS
- SQEMA
- Visual C#
- 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
- Proof General Kit
- Tac
- Cecil
- OOLACA
- TSOTool
- SESSL
- PIPER
- SDEF
- CDuce
- smfsb
- RCaller
- XDuce
- Fortress
- RepLib
- Traits
- SakerGrid
- SBMLsimulator
- Joogie
- rJavax
- rJython
- STR2
This page was built for software: Scala
