×

Found 3 Documents (Results 1–3)

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
Full Text: arXiv Link

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).
PDFBibTeX XMLCite
Full Text: arXiv Link

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software