Build systems à la carte: Theory and practice

DOI10.1017/S0956796820000088zbMath1442.68029OpenAlexW3011565934WikidataQ105982564 ScholiaQ105982564MaRDI QIDQ5110937

Andrey Mokhov, Neil Mitchell, Simon L. Peyton Jones

Publication date: 26 May 2020

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796820000088

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Build systems à la carte: Theory and practice

Uses Software

• GHC
• Excel
• Shake
• Docker
• GitHub
• Nix
• Buck
• Bazel
• Reflow
• fabricate
• Incremental
• Dune
• Ninja
• redo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalising monads to arrows
• Make — a program for maintaining computer programs
• A poor man's concurrency monad
• Free Applicative Functors
• Build systems à la carte: Theory and practice
• Adaptive functional programming
• A representation theorem for second-order functionals
• Applicative programming with effects
• A Consistent Semantics of Self-adjusting Computation
• The “Best” Straight Line among the Points

This page was built for publication: Build systems à la carte: Theory and practice