Skip to content

Loading

Home Search Explore Expert picks Agents & Skills

FA Sign in

Home Search Explore Expert picks Agents & Skills Sign in

Discover references

Chlipala, Adam

Books

1 results

Cover of Proceedings of the ACM on Programming Languages

English Unordered

Proceedings of the ACM on Programming Languages

Stampoulis, Antonis; Chlipala, Adam

2018 July 30 View book

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

Request a book Search Experts

© RefHub · Open references for deeper learning