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