Skip to content

Loading

Search Explore Expert picks

FA Sign in

Search Explore Expert picks Sign in

Discover references

Standard ML

Books

1 results

Cover of Functional programming languages for verification tools.A comparison of Standard ML and Haskell

English Unordered

Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Leucker M.

View book

An open, expert-guided library for choosing better learning references.

Request a book Search Experts

© RefHub · Open references for deeper learning