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)

• A coinductive calculus for asynchronous side-effecting processes
• A provably correct compilation of functional languages into scripting languages
• Measure transformer semantics for Bayesian machine learning
• Visible type application
• A coinductive calculus for asynchronous side-effecting processes
• Extensible pattern matching via a lightweight language extension
• Path querying with conjunctive grammars by matrix multiplication
• HasCasl
• qasm2circ
• Nikola
• Forest
• Mono
• Nemerle
• pyQuil
• Formal methods. An appetizer
• Formalization of the functional programming languages based on lambda calculus
• An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
• POETS: process-oriented event-driven transaction systems
• A practical theory of language-integrated query
• 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

This page was built for software: F#