The existential fragment of second-order propositional intuitionistic logic is undecidable. (English) Zbl 07821018
MSC:
03-XX
Found 4 Documents (Results 1–4)
The essence of dependent object types. (English) Zbl 1343.68046
Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 249-272 (2016).
Generative type abstraction and type-level computation. (English) Zbl 1284.68140
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 227-240 (2011).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
all
top 5
Author
- Amin, Nada (1)
- Fujita, Ken-etsu (1)
- Garrigue, Jacques (1)
- Grütter, Samuel (1)
- Nakata, Keiko (1)
- Odersky, Martin (1)
- Peyton Jones, Simon L. (1)
- Rompf, Tiark (1)
- Schubert, Aleksy (1)
- Stucki, Sandro (1)
- Urzyczyn, Paweł (1)
- Vytiniotis, Dimitrios (1)
- Weirich, Stephanie (1)
- Zdancewic, Steve (1)
- Zdanowski, Konrad (1)
