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#
