Lobsters
- Typed Assembly Language (1998) https://www.cs.cornell.edu/talc/overview.html 6 comments compilers , compsci , formalmethods , programming
- A Dependently Typed Assembly Language https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf 5 comments assembly , pdf , plt , programming
- Stephanie Weirich on From System F to Typed Assembly Language http://www.youtube.com/watch?v=Epbaka9uTQ4 4 comments compsci , haskell , video
- Writing Practical, Memory Management Code with a Strictly-Typed, Assembly Language (2006) http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk.pdf 2 comments assembly , formalmethods , pdf , security
- Writing an Operating System with strictly typed assembly language [pdf] http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/thesis.pdf 15 comments programming
- Typed Assembly Language for IA-32 [OCaml, Scheme, C] http://www.cs.cornell.edu/talc/default.html 6 comments programming
- A Garbage-Collecting Typed Assembly Language http://lambda-the-ultimate.org/node/1870 4 comments programming
- Singleton: A general-purpose dependently-typed assembly language http://www.cse.unsw.edu.au/~chak/papers/wc10.html 5 comments programming
Lambda the Ultimate
- A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language http://www.cs.berkeley.edu/~adamc/papers/CtpcPLDI07/ 14 comments Functional , Implementation , Lambda Calculus , Meta-Programming , Semantics , Type Theory
- A Garbage-Collecting Typed Assembly Language http://research.microsoft.com/research/pubs/view.aspx?id=1215&type=technical+report 1 comment Implementation , Type Theory