Ellet L Ellet L is a linearly typed assembly language. Reference J. Cheney and G. Morrisett. A linearly typed assembly language. Technical report, Cornell University, Ithaca, NY, USA, February 2003.