Scala
From MaRDI portal
Cited in
(only showing first 100 items - show all)- RComp
- RegStab
- TkWinHOL
- Valigator
- ALDOR
- JoCaml
- SQEMA
- BETA
- CLOS
- Visual C#
- Deadlock detection of Java bytecode
- OptiML
- On the decidability of subtyping with bounded existential types and implementation constraints
- jscl-meditor
- JAS
- Symja
- JaCoP
- OCaml
- FParser
- PIDE
- Isabelle/jEdit
- occam-pi
- Pistache
- Isabelle/PIDE
- Erlang
- Scarab
- Combining traits with boxes and ownership types in a Java-like setting
- Mnemonics
- BCEL
- From distributed coordination to field calculus and aggregate computing
- Improving parity games in practice
- Facile
- Pict
- Possible models computation and revision -- a practical approach
- Commonloops
- YAFOOL
- Verifying Whiley programs with Boogie
- Leon
- On distributability
- Multilisp
- Creol
- Linda
- Tac
- QuakeTM
- Generalized arrays for Stainless frames
- Proof General Kit
- Flask
- DyC
- ABC
- JAMPACK
- Rings: an efficient JVM library for commutative algebra (invited talk)
- OOLACA
- Cecil
- TSOTool
- SESSL
- Composable models for online Bayesian analysis of streaming data
- From MDD to BDD and arc consistency
- PIPER
- Lifted graphical models: a survey
- Locales: a module system for mathematical theories
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- Compositional type checking of delta-oriented software product lines
- SDEF
- Functional BIP: embedding connectors in functional programming languages
- smfsb
- CDuce
- XDuce
- On flexible dynamic trait replacement for Java-like languages
- RCaller
- Traits
- Fortress
- RepLib
- SBMLsimulator
- SakerGrid
- Joogie
- Object-oriented programming, functional programming and \texttt{R}
- rJavax
- rJython
- STR2
- A domain-theoretic model of nominally-typed object-oriented programming
- Practical Optional Types for Clojure
- Featherweight Java
- Translating Scala programs to Isabelle/HOL. System description
- A universal machine for biform theory graphs
- An introduction to search combinators
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Isabelle/jEdit – A Prover IDE within the PIDE Framework
- Applying data refinement for monadic programs to Hopcroft's algorithm
- RRB vector: a practical general purpose immutable sequence
- Experience report: growing and shrinking polygons for random testing of computational geometry algorithms
- Disjoint polymorphism
- QUASY: quantitative synthesis tool
- Ocsigen
- Cogent
- CoBoxes
- Steps in Scala. An introduction to object-functional programming
- ABC: algebraic bound computation for loops
- Scala for generic programmers
- Algebraic structures as typed objects
- PiStache: implementing -calculus in Scala
This page was built for software: Scala
