Journals associated with the name CoRR:
- Tabled Typeclass ResolutionDaniel Selsam, Sebastian Ullrich, Leonardo de Moura. CoRR, abs/2001.04301, 2020.
- Counting Immutable Beans: Reference Counting Optimized for Purely Functional ProgrammingSebastian Ullrich, Leonardo de Moura. CoRR, abs/1908.05647, 2019.
- Elaboration in Dependent Type TheoryLeonardo Mendon{\c{c}}a de Moura, Jeremy Avigad, Soonho Kong, Cody Roux. CoRR, abs/1505.04324, 2015.
- From F to DOT: Type Soundness Proofs with Definitional InterpretersTiark Rompf, Nada Amin. CoRR, abs/1510.05216, 2015.
- Wavelet-based deconvolution of ultrasonic signals in nondestructive evaluationRoberto Henry Herrera, Rub{\'e}n Orozco, Manuel Rodr\'{\i}guez. CoRR, abs/1202.0609, 2012.
- MediaWiki Grammar RecoveryVadim Zaytsev. CoRR, abs/1107.4661:1-47, July 2011.