Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml - discu.eu

Lambda the Ultimate

Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml http://www.univ-orleans.fr/lifo/Members/David.Teller/publications/ml2008.pdf 12 comments 11/7/2008 Functional , Implementation , Software Engineering

Linking pages

Designing error types in Rust https://mmapped.blog/posts/12-rust-error-handling.html 40 comments

Related searches:

Search whole site: site:www.univ-orleans.fr

Search title: Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml

See how to search.

Submit link to: