I found these slides to be good regarding type inf...
# getting-started
x