Carp/RESEARCH.md

# C PROGRAMMING, LLVM, AND DEBUGGING
http://clang.llvm.org/docs/AddressSanitizer.html
https://www.iar.com/support/resources/articles/advanced-preprocessor-tips-and-tricks/
http://jvns.ca/blog/2016/03/01/a-few-notes-on-the-stack/
https://www.recurse.com/blog/7-understanding-c-by-learning-assembly
http://msm.runhello.com/p/1003

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

# 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

# TYPES
https://lambdacube3d.wordpress.com/2016/03/03/tuples-as-heterogeneous-lists/
https://jeltsch.wordpress.com/2016/02/22/generic-programming-in-haskell/
http://okmij.org/ftp/ML/generalization.html
http://www.cs.cornell.edu/courses/cs312/2005sp/lectures/rec22.asp

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

# OTHER LISPS
https://wingolog.org/archives/2016/02/08/a-lambda-is-not-necessarily-a-closure
http://alex-charlton.com/posts/Prototype_to_polish_Making_games_in_CHICKEN_Scheme_with_Hypergiant/
http://beautifulracket.com/first-lang.html
http://stackoverflow.com/questions/4899113/fixed-point-combinator-for-mutually-recursive-functions/5272086#5272086

# LANGUAGE DESIGN
http://www.complang.tuwien.ac.at/kps2015/proceedings/KPS_2015_submission_29.pdf
http://www.lihaoyi.com/post/WhatsinaBuildTool.html
http://prog21.dadgum.com/136.html

# GRAPHS
https://en.wikipedia.org/wiki/Strongly_connected_component
https://en.wikipedia.org/wiki/Transitive_closure#In_graph_theory

# TO TRY
let fun ident(x) => x
in ident(ident)(2) end