Search results for "impredicativity"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	Ugo Dal Lago, Luca Roversi, Luca Vercelli	Taming Modal Impredicativity: Superlazy Reduction.	LFCS	2009	DBLP DOI BibTeX RDF	Linear logic, proof theory, implicit computational complexity
89	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	Boxy types: inference for higher-rank types and impredicativity.	ICFP	2006	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
33	Henry Mercer, Cameron Ramsay, Neel Krishnaswami	Implicit Polarized F: local type inference for impredicativity.	CoRR	2022	DBLP DOI BibTeX RDF
33	Alejandro Serrano 0001, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis	A quick look at impredicativity.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
33	François Bry	In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.	Theory Pract. Log. Program.	2020	DBLP DOI BibTeX RDF
33	Stefan Monnier, Nathaniel Bos	Is Impredicativity Implicitly Implicit?	TYPES	2019	DBLP DOI BibTeX RDF
33	François Bry	In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.	CoRR	2018	DBLP BibTeX RDF
33	Henry Towsner	Partial impredicativity in reverse mathematics.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
33	Christoph Benzmüller, Chad E. Brown, Michael Kohlhase	Cut-Simulation and Impredicativity	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
33	Ugo Dal Lago, Luca Roversi, Luca Vercelli	Taming Modal Impredicativity: Superlazy Reduction	CoRR	2008	DBLP BibTeX RDF
33	Peter Lietz, Thomas Streicher	Impredicativity entails Untypedness.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
31	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	FPH: first-class polymorphism for Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
31	Daan Leijen, Andres Löh	Qualified types for MLF.	ICFP	2005	DBLP DOI BibTeX RDF	higher-rank polymorphism, impredicativity, qualified types, MLF
25	Peter V. Homeier	The HOL-Omega Logic.	TPHOLs	2009	DBLP DOI BibTeX RDF
25	Olivier Hermant, James Lipton	A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.	CSL	2008	DBLP DOI BibTeX RDF
25	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson	Uniqueness Typing Simplified.	IFL	2007	DBLP DOI BibTeX RDF
25	Bernd Mahr, Sebastian Bab	inT-Integration of Logics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF