Carp/RESEARCH.md

C PROGRAMMING AND DEBUGGING

http://clang.llvm.org/docs/AddressSanitizer.html https://www.iar.com/support/resources/articles/advanced-preprocessor-tips-and-tricks/

OWNERSHIP & BORROWING

http://blog.piston.rs/2016/01/23/dynamo/ http://evincarofautumn.blogspot.se/2016/01/thoughts-on-using-fractional-types-to.html

LAMBDA LIFTING

https://wingolog.org/archives/2016/02/08/a-lambda-is-not-necessarily-a-closure

MODULES & FUNCTORS

http://homepages.inf.ed.ac.uk/mfourman/teaching/mlCourse/notes/sml-modules.html https://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf

GENERIC PROGRAMMING

https://jeltsch.wordpress.com/2016/02/22/generic-programming-in-haskell/

CSP

http://reaktor.com/blog/why-csp-matters-ii-how-do-i-know-sync-works/