×

Found 22 Documents (Results 1–22)

Is impredicativity implicitly implicit? (English) Zbl 1535.03067

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 9, 19 p. (2020).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Generic programming with dependent types. (English) Zbl 1374.68107

Gibbons, Jeremy (ed.), Generic and indexed programming. International spring school, SSGIP 2010, Oxford, UK, March 22–26, 2010. Revised lectures. Berlin: Springer (ISBN 978-3-642-32201-3/pbk). Lecture Notes in Computer Science 7470, 217-258 (2012).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

A partial type checking algorithm for Type:Type. (English) Zbl 1291.68106

Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 3-17 (2011).
MSC:  68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI

AURA: a programming language for authorization and audit. (English) Zbl 1323.68078

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 27-38 (2008).
MSC:  68N15 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Testing and proving distributed algorithms in constructive type theory. (English) Zbl 1196.68047

Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 79-94 (2007).
MSC:  68N30 68N18 68W15
PDFBibTeX XMLCite
Full Text: DOI

A dependently typed framework for static analysis of program execution costs. (English) Zbl 1236.68045

Butterfield, Andrew (ed.) et al., Implementation and application of functional languages. 17th international workshop, IFL 2005, Dublin, Ireland, September 19–21, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-69174-7/pbk). Lecture Notes in Computer Science 4015, 74-90 (2006).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

A language-based approach to functionally correct imperative programming. (English) Zbl 1302.68095

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 268-279 (2005).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

An introduction to dependent type theory. (English) Zbl 1065.68025

Barthe, Gilles (ed.) et al., Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9–15, 2000. Advanced lectures. Berlin: Springer (ISBN 3-540-44044-5). Lect. Notes Comput. Sci. 2395, 1-41 (2002).
PDFBibTeX XMLCite
Full Text: Link

Cayenne – a language with dependent types. (English) Zbl 1428.68094

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 239-250 (1999).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Cayenne – a language with dependent types. (English) Zbl 1369.68085

Berman, A. Michael (ed.), Proceedings of the 2nd ACM SIGPLAN international conference on functional programming, ICFP ’97, Amsterdam, Netherlands, June 9–11, 1997. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-918-1). ACM SIGPLAN Notices 32, No. 8, 239-250 (1997).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software