Search results for "parametricity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	ICFP	2009	DBLP DOI BibTeX RDF	intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
88	Masahito Hasegawa	Relational Parametricity and Control.	LICS	2005	DBLP DOI BibTeX RDF
72	Rasmus Ejlers Møgelberg, Alex Simpson	Relational Parametricity for Computational Effects.	LICS	2007	DBLP DOI BibTeX RDF
72	QingMing Ma	Parametricity as Subtyping.	POPL	1992	DBLP DOI BibTeX RDF
72	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
65	Dusko Pavlovic	Semantics of First Order Parametric Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
62	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Relational parametricity for references and recursive types.	TLDI	2009	DBLP DOI BibTeX RDF	general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics
56	Geoffrey Washburn, Stephanie Weirich	Generalizing Parametricity Using Information-flow.	LICS	2005	DBLP DOI BibTeX RDF
56	Jo Erskine Hannay	Abstraction Barrier-Observing Relational Parametricity.	TLCA	2003	DBLP DOI BibTeX RDF
56	Karl Crary	A Simple Proof Technique for Certain Parametricity Results.	ICFP	1999	DBLP DOI BibTeX RDF
56	Peter W. O'Hearn, Robert D. Tennent	Parametricity and Local Variables.	J. ACM	1995	DBLP DOI BibTeX RDF	algol-like languages, local state, parametric polymorphism, logical relations
55	Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi	Relationally-parametric polymorphic contracts.	DLS	2007	DBLP DOI BibTeX RDF	contracts, polymorphism, parametricity
55	Geoffrey Washburn, Stephanie Weirich	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.	ICFP	2003	DBLP DOI BibTeX RDF	modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
46	Stephen Tse, Steve Zdancewic	Translating dependency into parametricity.	ICFP	2004	DBLP DOI BibTeX RDF	DCC, protection contexts, security, dependency, Haskell, information flow, translation, polymorphism, lambda calculus, monads, parametricity, noninterference, logical relations
39	Robert Atkey	Syntax for Free: Representing Syntax with Binding Using Parametricity.	TLCA	2009	DBLP DOI BibTeX RDF
39	Florian Stenger, Janis Voigtländer	Parametricity for Haskell with Imprecise Error Semantics.	TLCA	2009	DBLP DOI BibTeX RDF
39	Lars Birkedal, Hongseok Yang	Relational Parametricity and Separation Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF
39	Paul-André Melliès, Jerome Vouillon	Recursive Polymorphic Types and Parametricity in an Operational Framework.	LICS	2005	DBLP DOI BibTeX RDF
39	John Launchbury, Ross Paterson	Parametricity and Unboxing with Unpointed Types.	ESOP	1996	DBLP DOI BibTeX RDF
39	Peter W. O'Hearn, Robert D. Tennent	Relational Parametricity and Local Variables.	POPL	1993	DBLP DOI BibTeX RDF	ALGOL
39	Jan Christiansen, Daniel Seidel, Janis Voigtländer	Free theorems for functional logic programs.	PLPV	2010	DBLP DOI BibTeX RDF	haskell, relational parametricity, curry
39	Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook	EffectiveAdvice: disciplined advice with explicit effects.	AOSD	2010	DBLP DOI BibTeX RDF	AOP, interference, monads, parametricity, mixins
39	Janis Voigtländer	Bidirectionalization for free! (Pearl).	POPL	2009	DBLP DOI BibTeX RDF	bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem
39	Janis Voigtländer	Much ado about two (pearl): a pearl on parallel prefix computation.	POPL	2008	DBLP DOI BibTeX RDF	0-1-principle, free theorems, parallel prefix computation, relational parametricity
33	Jacob Matthews, Amal Ahmed 0001	Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.	ESOP	2008	DBLP DOI BibTeX RDF
33	John Launchbury, Simon L. Peyton Jones	Lazy Functional State Threads.	PLDI	1994	DBLP DOI BibTeX RDF
33	Giuseppe Longo	Types as Parameters.	TAPSOFT	1993	DBLP DOI BibTeX RDF
33	Martín Abadi, Luca Cardelli, Pierre-Louis Curien	Formal Parametric Polymorphism.	POPL	1993	DBLP DOI BibTeX RDF
23	Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman	Internal Parametricity, without an Interval.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
23	Antoine Van Muylder, Andreas Nuyts, Dominique Devriese	Internal and Observational Parametricity for Cubical Agda.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
23	Hugo Herbelin, Ramkumar Ramachandra	A parametricity-based formalization of semi-simplicial and semi-cubical sets.	CoRR	2024	DBLP DOI BibTeX RDF
23	Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman	Internal parametricity, without an interval.	CoRR	2023	DBLP DOI BibTeX RDF
23	Sam van Gool, Paul-André Melliès, Vincent Moreau 0001	Profinite lambda-terms and parametricity.	MFPS	2023	DBLP DOI BibTeX RDF
23	Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese	Plausible sealing for gradual parametricity.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
23	Wataru Endo, Shigeyuki Sato 0001, Kenjiro Taura	ComposableThreads: Rethinking User-level Threads with Composability and Parametricity in C++.	J. Inf. Process.	2022	DBLP DOI BibTeX RDF
23	Hugo Moeneclaey	Notions of parametricity as monoidal models for type theory.	CoRR	2022	DBLP DOI BibTeX RDF
23	Jonathan Sterling, Robert Harper 0001	Logical Relations as Types: Proof-Relevant Parametricity for Program Modules.	J. ACM	2021	DBLP DOI BibTeX RDF
23	Nicolas Tabareau, Éric Tanter, Matthieu Sozeau	The Marriage of Univalence and Parametricity.	J. ACM	2021	DBLP DOI BibTeX RDF
23	Patricia Johann, Enrico Ghiorzi, Daniel Jeffries	GADTs, Functoriality, Parametricity: Pick Two.	LSFA	2021	DBLP DOI BibTeX RDF
23	Hugo Moeneclaey	Parametricity and Semi-Cubical Types.	CoRR	2021	DBLP BibTeX RDF
23	Patricia Johann, Enrico Ghiorzi, Daniel Jeffries	Parametricity for Nested Types and GADTs.	CoRR	2021	DBLP BibTeX RDF
23	Andreas Nuyts	Parametricity Features and their Requirements.	CoRR	2021	DBLP BibTeX RDF
23	Evan Cavallo, Robert Harper 0001	Internal Parametricity for Cubical Type Theory.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
23	Patricia Johann, Enrico Ghiorzi	Parametricity for Nested Types and GADTs.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
23	Hugo Moeneclaey	Parametricity and Semi-Cubical Types.	LICS	2021	DBLP DOI BibTeX RDF
23	Patricia Johann, Enrico Ghiorzi, Daniel Jeffries	Parametricity for Primitive Nested Types.	FoSSaCS	2021	DBLP DOI BibTeX RDF
23	Evan Cavallo	Higher Inductive Types and Internal Parametricity for Cubical Type Theory.		2021	DOI RDF
23	Max S. New, Dustin Jamner, Amal Ahmed 0001	Graduality and parametricity: together again for the first time.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
23	Jonathan Sterling, Robert Harper 0001	Logical Relations as Types: Proof-Relevant Parametricity for Program Modules.	CoRR	2020	DBLP BibTeX RDF
23	Evan Cavallo, Robert Harper 0001	Internal Parametricity for Cubical Type Theory.	CoRR	2020	DBLP BibTeX RDF
23	Evan Cavallo, Robert Harper 0001	Internal Parametricity for Cubical Type Theory.	CSL	2020	DBLP DOI BibTeX RDF
23	Matías Toro, Elizabeth Labrada, Éric Tanter	Gradual parametricity, revisited.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
23	Maximilian Algehed, Jean-Philippe Bernardy	Simple noninterference from parametricity.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
23	Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo	Universal properties for universal types in bifibrational parametricity.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
23	Nicolas Tabareau, Éric Tanter, Matthieu Sozeau	The Marriage of Univalence and Parametricity.	CoRR	2019	DBLP BibTeX RDF
23	Paolo Pistone	On completeness and parametricity in the realizability semantics of System F.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
23	Dominique Devriese, Marco Patrignani, Frank Piessens	Parametricity versus the universal type.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
23	Nicolas Tabareau, Éric Tanter, Matthieu Sozeau	Equivalences for free: univalent parametricity for effective transport.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
23	Paolo Pistone	On completeness and parametricity in the realizability semantics of System F.	CoRR	2018	DBLP BibTeX RDF
23	Matías Toro, Elizabeth Labrada, Éric Tanter	Gradual Parametricity, Revisited.	CoRR	2018	DBLP BibTeX RDF
23	Kristina Sojakova, Patricia Johann	A General Framework for Relational Parametricity.	CoRR	2018	DBLP BibTeX RDF
23	Kristina Sojakova, Patricia Johann	A General Framework for Relational Parametricity.	LICS	2018	DBLP DOI BibTeX RDF
23	Andreas Nuyts, Dominique Devriese	Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory.	LICS	2018	DBLP DOI BibTeX RDF
23	Andreas Lochbihler, Joshua Schneider 0001	Relational Parametricity and Quotient Preservation for Modular (Co)datatypes.	ITP	2018	DBLP DOI BibTeX RDF
23	Jason Gross, Andres Erbsen, Adam Chlipala	Reification by Parametricity - Fast Setup for Proof by Reflection, in Two Lines of Ltac.	ITP	2018	DBLP DOI BibTeX RDF
23	Amal Ahmed 0001, Dustin Jamner, Jeremy G. Siek, Philip Wadler	Theorems for free for free: parametricity, with and without types.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
23	Patricia Johann, Kristina Sojakova	Cubical Categories for Higher-Dimensional Parametricity.	CoRR	2017	DBLP BibTeX RDF
23	Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman	Parametricity, automorphisms of the universe, and excluded middle.	CoRR	2017	DBLP BibTeX RDF
23	Abhishek Anand, Greg Morrisett	Revisiting Parametricity: Inductives and Uniformity of Propositions.	CoRR	2017	DBLP BibTeX RDF
23	Didier Rémy	Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk).	Haskell	2017	DBLP DOI BibTeX RDF
23	Federico Orsanigo	Bifibrational parametricity: from zero to two dimensions.		2017	RDF
23	Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo	Proof-Relevant Parametricity.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
23	Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman	Parametricity, Automorphisms of the Universe, and Excluded Middle.	TYPES	2016	DBLP DOI BibTeX RDF
23	Dominique Devriese, Lars Birkedal, Frank Piessens	Reasoning about Object Capabilities with Logical Relations and Effect Parametricity.	EuroS&P	2016	DBLP DOI BibTeX RDF
23	Guilhem Moulin	Internalizing Parametricity.		2016	RDF
23	Marc Lasson	Canonicity of Weak ω-groupoid Laws Using Parametricity Theory.	MFPS	2014	DBLP DOI BibTeX RDF
23	Robert Atkey	From parametricity to conservation laws, via Noether's theorem.	POPL	2014	DBLP DOI BibTeX RDF
23	Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer	Parametricity and Proving Free Theorems for Functional-Logic Languages.	PPDP	2014	DBLP DOI BibTeX RDF
23	Claudio Hermida, Uday S. Reddy, Edmund P. Robinson	Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages.	WACT	2013	DBLP DOI BibTeX RDF
23	Andrej Bauer, Martin Hofmann 0001, Aleksandr Karbyshev	On Monadic Parametricity of Second-Order Functionals.	FoSSaCS	2013	DBLP DOI BibTeX RDF
23	Alan Jeffrey	Causality for free!: parametricity implies causality for functional reactive programs.	PLPV	2013	DBLP DOI BibTeX RDF
23	Luís Caires, Jorge A. Pérez 0001, Frank Pfenning, Bernardo Toninho	Behavioral Polymorphism and Parametricity in Session-Based Communication.	ESOP	2013	DBLP DOI BibTeX RDF
23	Neelakantan R. Krishnaswami, Derek Dreyer	Internalizing Relational Parametricity in the Extensional Calculus of Constructions.	CSL	2013	DBLP DOI BibTeX RDF
23	Aleksandr Karbyshev	Monadic Parametricity of Second-Order Functionals.		2013	RDF
23	Chantal Keller, Marc Lasson	Parametricity in an Impredicative Sort	CoRR	2012	DBLP BibTeX RDF
23	Chantal Keller, Marc Lasson	The Refined Calculus of Inductive Construction: Parametricity and Abstraction	CoRR	2012	DBLP BibTeX RDF
23	Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson	Proofs for free - Parametricity for dependent types.	J. Funct. Program.	2012	DBLP DOI BibTeX RDF
23	Jean-Philippe Bernardy, Guilhem Moulin	A Computational Interpretation of Parametricity.	LICS	2012	DBLP DOI BibTeX RDF
23	Chantal Keller, Marc Lasson	Parametricity in an Impredicative Sort.	CSL	2012	DBLP DOI BibTeX RDF
23	Robert Atkey	Relational Parametricity for Higher Kinds.	CSL	2012	DBLP DOI BibTeX RDF
23	Marc Lasson	Réalisabilité et paramétricité dans les systèmes de types purs. (Realizability and parametricity in Pure Type Systems).		2012	RDF
23	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
23	Jean-Philippe Bernardy, Marc Lasson	Realizability and Parametricity in Pure Type Systems.	FoSSaCS	2011	DBLP DOI BibTeX RDF
23	Dimitrios Vytiniotis, Stephanie Weirich	Parametricity, type equality, and higher-order polymorphism.	J. Funct. Program.	2010	DBLP DOI BibTeX RDF
23	Jianzhou Zhao, Qi Zhang, Steve Zdancewic	Relational Parametricity for a Polymorphic Linear Lambda Calculus.	APLAS	2010	DBLP DOI BibTeX RDF
23	Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson	Parametricity and dependent types.	ICFP	2010	DBLP DOI BibTeX RDF
23	Rasmus Ejlers Møgelberg, Alex Simpson	Relational Parametricity for Computational Effects	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
23	Lars Birkedal, Hongseok Yang	Relational Parametricity and Separation Logic	CoRR	2008	DBLP BibTeX RDF
23	Lars Birkedal, Hongseok Yang	Relational Parametricity and Separation Logic.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
23	Rasmus Ejlers Møgelberg, Alex Simpson	Relational Parametricity for Control Considered as a Computational Effect.	MFPS	2007	DBLP DOI BibTeX RDF