<--- Back to Details
First PageDocument Content
Software engineering / Computing / Programming language theory / Software testing / Extreme programming / Functional languages / Cross-platform software / Procedural programming languages / Code coverage / Haskell / Regression testing / SAT
Date: 2018-09-13 11:00:23
Software engineering
Computing
Programming language theory
Software testing
Extreme programming
Functional languages
Cross-platform software
Procedural programming languages
Code coverage
Haskell
Regression testing
SAT

Dependency Assessment: cborg Prepared by FP Complete For The Cardano Foundation August 2018

Add to Reading List

Source URL: cardano.org

Download Document from Source Website

File Size: 164,66 KB

Share Document on Facebook

Similar Documents

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

DocID: 1ru0R - View Document

Project 5 - The Meta-Circular Evaluator

Project 5 - The Meta-Circular Evaluator

DocID: 1rtvP - View Document

02157 Functional Programming - Sequences

02157 Functional Programming - Sequences

DocID: 1rsIU - View Document

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

DocID: 1rrvD - View Document

Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University  http://www.idt.mdh.se/˜blr/

Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

DocID: 1rqrJ - View Document