Torben Ægidius Mogensen's "Basics of Compiler Design, Chapter 6: Type Checking"
Complete exercises 6.1 and 6.2 on pages 143 and 144.
These exercises will give you some practice with semantic analysis and are based on Chapter 6, which covers type checking. Then check your answers against the Answer Key.
Click http://web.archive.org/web/20120915222417/http://www.diku.dk/hjemmesider/ansatte/torbenm/Basics/basics_lulu2.pdf link to open resource.