Extends traditional untyped assembly languages with typing annotations, memory management primitives, and sound set of typing rules. The typing rules guarantee memory safety, control flow safety, type safety of TAL programs. What do you want to type check http://www.cs.cornell.edu/talc/
A range of products which translate assembly-language code into optimized code for other architectures. Products include Relogix, an assembler-to-C translator, and PortAsm/68K, which converts 68000 assembly language source to run on the PowerPC, Intel x86 http://www.microapl.co.uk/
On this site you will find various resources ranging from tutorials, documentation up to actual Linux and Unix tools written in assembly language. http://linuxassembly.org/
Targetted towards the ARM (2 thru 7, and StrongARM) from RISC OS, you may begin programming simply by using the BASIC assembler built into your computer. If you are a C programmer, the APCS is described. http://www.heyrick.co.uk/assembler/