Jenkins, Christopher; Stump, Aaron; Diehl, Larry Efficient lambda encodings for Mendler-style coinductive types in Cedille. (English) Zbl 1511.68054 New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 72-97 (2020). MSC: 68N18 03B40 68V20 PDFBibTeX XMLCite \textit{C. Jenkins} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 72--97 (2020; Zbl 1511.68054) Full Text: arXiv Link
Eades, Harley; Stump, Aaron Hereditary substitution for the \(\lambda \Delta \)-calculus. (English) Zbl 1471.03023 de’Liguoro, Ugo (ed.) et al., Proceedings of the first workshop on control operators and their semantics, COS 2013, Eindhoven, The Netherlands, June 24–25, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 127, 45-65 (2013). MSC: 03B40 03B38 03B70 03F05 68N18 PDFBibTeX XMLCite \textit{H. Eades} and \textit{A. Stump}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 127, 45--65 (2013; Zbl 1471.03023) Full Text: arXiv Link
Stump, Aaron Imperative LF meta-programming. (English) Zbl 1278.03067 Schürmann, C. (ed.), Proceedings of the fourth international workshop on logical frameworks and meta-languages (LFM 2004), Cork, UK, July 5, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 199, 149-159 (2008). MSC: 03B70 68N30 68Q42 PDFBibTeX XMLCite \textit{A. Stump}, Electron. Notes Theor. Comput. Sci. 199, 149--159 (2007; Zbl 1278.03067) Full Text: DOI