VM lambda: a Functional Calculus for Scientific Discovery
No abstract available.
Related papers
- Computation semantics of the functional scientific workflow language Cuneiform JFP 2017
- On Strictness and its Analysis POPL 1987
- Functional Back-Ends within the Lambda-Sigma Calculus ICFP 1996
- The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies POPL 2013
- An Unsolvable Numeral System in lambda Calculus JFP 1991
- Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus JFP 2000
- Functional Runtime Systems Within the Lambda-Sigma Calculus JFP 1998
- Embedding a full linear Lambda calculus in Haskell Haskell 2015