×

Found 50 Documents (Results 1–50)

Irrelevance, heterogeneous equality, and call-by-value dependent type systems. (English) Zbl 1457.68037

Chapman, James (ed.) et al., Proceedings of the fourth workshop on mathematically structured functional programming, MSFP 2012, Tallinn, Estonia, March 25, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 76, 112-162 (2012).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software