F#
From MaRDI portal
Software:39366
No author found.
Source code repository: https://github.com/fsharp/fsfoundation/tree/gh-pages/specs/language-spec
Related Items (14)
POETS: process-oriented event-driven transaction systems ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Programming language concepts. With a chapter by Niels Hallenberg ⋮ Path querying with conjunctive grammars by matrix multiplication ⋮ A Provably Correct Compilation of Functional Languages into Scripting Languages ⋮ An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic ⋮ Formal Methods ⋮ Extensible pattern matching via a lightweight language extension ⋮ Unnamed Item ⋮ A benchmark of selected algorithmic differentiation tools on some problems in computer vision and machine learning ⋮ Visible Type Application ⋮ Measure Transformer Semantics for Bayesian Machine Learning ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ A practical theory of language-integrated query
This page was built for software: F#
