Sheard, Tim Type-level computation using narrowing in \(\Omega\)mega. (English) Zbl 1277.68046 Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 105-128 (2007). MSC: 68N15 03B70 68N18 68T15 PDFBibTeX XMLCite \textit{T. Sheard}, Electron. Notes Theor. Comput. Sci. 174, No. 7, 105--128 (2007; Zbl 1277.68046) Full Text: DOI
Rabe, Florian First-order logic with dependent types. (English) Zbl 1222.03016 Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 377-391 (2006). MSC: 03B35 03B10 03B15 03C07 68T15 PDFBibTeX XMLCite \textit{F. Rabe}, Lect. Notes Comput. Sci. 4130, 377--391 (2006; Zbl 1222.03016) Full Text: DOI