F#

MaRDI QIDQ39366swMATHFDO

Official website https://fsharp.org/specs/language-spec/4.0/FSharpSpec-4.0-latest.pdf

Source code repository https://github.com/fsharp/fsfoundation/tree/gh-pages/specs/language-spec

Cited in

(21)

• HasCasl
• Programming language concepts. With a chapter by Niels Hallenberg
• Path querying with conjunctive grammars by matrix multiplication
• POETS: process-oriented event-driven transaction systems
• qasm2circ
• Nikola
• Visible type application
• Formalization of the functional programming languages based on lambda calculus
• A coinductive calculus for asynchronous side-effecting processes
• Mono
• A coinductive calculus for asynchronous side-effecting processes
• Forest
• pyQuil
• Nemerle
• A provably correct compilation of functional languages into scripting languages
• A benchmark of selected algorithmic differentiation tools on some problems in computer vision and machine learning
• An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
• Formal methods. An appetizer
• Extensible pattern matching via a lightweight language extension
• A practical theory of language-integrated query
• Measure transformer semantics for Bayesian machine learning

This page was built for software: F#