Search results for "parametricity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Janis Voigtländer, Patricia Johann	Selective strictness and parametricity in structural operational semantics, inequationally.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
23	Masahito Hasegawa	Relational Parametricity and Control	CoRR	2006	DBLP BibTeX RDF
23	Masahito Hasegawa	Relational Parametricity and Control.	Log. Methods Comput. Sci.	2006	DBLP DOI BibTeX RDF
23	Lars Birkedal, Rasmus Ejlers Møgelberg	Categorical models for Abadi and Plotkin's logic for parametricity.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
23	Robert Harper 0001, John C. Mitchell	Parametricity and Variants of Girard's J Operator.	Inf. Process. Lett.	1999	DBLP DOI BibTeX RDF
23	Izumi Takeuti	An Axiomatic System of Parametricity.	Fundam. Informaticae	1998	DBLP DOI BibTeX RDF
23	Izumi Takeuti	An Axiomatic System of Parametricity.	TLCA	1997	DBLP DOI BibTeX RDF
23	Andrew Kennedy	Relational Parametricity and Units of Measure.	POPL	1997	DBLP DOI BibTeX RDF
23	Catriel Beeri, Tova Milo, Paula Ta-Shma	On Genericity and Parametricity.	PODS	1996	DBLP DOI BibTeX RDF
23	Edmund Robinson	Parametricity as Isomorphism.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
23	Gordon D. Plotkin, Martín Abadi, Luca Cardelli	Subtyping and Parametricity	LICS	1994	DBLP DOI BibTeX RDF
23	Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001	The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
23	Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001	The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)	LICS	1993	DBLP DOI BibTeX RDF
23	Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini	Functorial Parametricity	LICS	1992	DBLP DOI BibTeX RDF
23	Harry G. Mairson	Outline of a Proof Theory of Parametricity.	FPCA	1991	DBLP DOI BibTeX RDF
23	Ryu Hasegawa	Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties.	TACS	1991	DBLP DOI BibTeX RDF
23	Peter J. Freyd, Jean-Yves Girard 0001, Andre Scedrov, Philip J. Scott	Semantic Parametricity in Polymorphic Lambda Calculus	LICS	1988	DBLP DOI BibTeX RDF
23	Janis Voigtländer	Free theorems involving type constructor classes: functional pearl.	ICFP	2009	DBLP DOI BibTeX RDF	relational parametricity
23	Nick Benton, Nicolas Tabareau	Compiling functional types to relational specifications for low level imperative code.	TLDI	2009	DBLP DOI BibTeX RDF	separation logic, proof assistants, compiler verification, relational parametricity, type soundness
23	Janis Voigtländer	Proving correctness via free theorems: the case of the destroy/build-rule.	PEPM	2008	DBLP DOI BibTeX RDF	intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity
23	Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001	Relational semantics for effect-based program transformations with dynamic allocation.	PPDP	2007	DBLP DOI BibTeX RDF	region analysis, program transformation, parametricity, logical relations, type and effect systems
23	Anindya Banerjee 0001, David A. Naumann	Ownership confinement ensures representation independence for object-oriented programs.	J. ACM	2005	DBLP DOI BibTeX RDF	Alias control, simulation, data refinement, confinement, relational parametricity
23	Brian P. Dunphy, Uday S. Reddy	Parametric Limits.	LICS	2004	DBLP DOI BibTeX RDF	Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
23	Janis Voigtländer	Concatenate, reverse and map vanish for free.	ICFP	2002	DBLP DOI BibTeX RDF	list abstraction, rank-2 types, shortcut deforestation, the concatenate vanishes, theorems for free, program transformation, denotational semantics, combinators, parametricity, correctness proofs
23	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic	Syntactic type abstraction.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	proof techniques, syntactic proofs, type abstraction, operational semantics, parametricity
16	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
16	Derek Dreyer, Amal Ahmed 0001, Lars Birkedal	Logical Step-Indexed Logical Relations.	LICS	2009	DBLP DOI BibTeX RDF
16	Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
16	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.	FoSSaCS	2009	DBLP DOI BibTeX RDF
16	Marco Correia, Pedro Barahona	Type Parametric Compilation of Algebraic Constraints.	EPIA	2009	DBLP DOI BibTeX RDF
16	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino	Model Checking Usage Policies.	TGC	2008	DBLP DOI BibTeX RDF
16	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
16	Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv	Revamping TVLA: Making Parametric Shape Analysis Competitive.	CAV	2007	DBLP DOI BibTeX RDF
16	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
16	Nick Benton	Abstracting Allocation.	CSL	2006	DBLP DOI BibTeX RDF
16	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
16	Hayo Thielecke	Answer Type Polymorphism in Call-by-Name Continuation Passing.	ESOP	2004	DBLP DOI BibTeX RDF
16	Jo Erskine Hannay	Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.	ICALP	2003	DBLP DOI BibTeX RDF
16	Uday S. Reddy, Hongseok Yang	Correctness of Data Representations Involving Heap Data Structures.	ESOP	2003	DBLP DOI BibTeX RDF
16	Andreas Rossberg	Generativity and dynamic opacity for abstract types.	PPDP	2003	DBLP DOI BibTeX RDF	generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
16	Anindya Banerjee 0001, David A. Naumann	Representation independence, confinement and access control [extended abstract].	POPL	2002	DBLP DOI BibTeX RDF
16	Kung-Kiu Lau, Mario Ornaghi	Isoinitial Semantics for Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
16	Erik Poll, Jan Zwanenburg	A Logic for Abstract Data Types as Existential Types.	TLCA	1999	DBLP DOI BibTeX RDF
16	Olaf Chitil	Type Inference Builds a Short Cut to Deforestation.	ICFP	1999	DBLP DOI BibTeX RDF
16	Jo Erskine Hannay	Specification Refinement with System F.	CSL	1999	DBLP DOI BibTeX RDF
16	Jiazhong Zhang, Yanbing Wang, Mingchun Zheng	Design and Static Semantics of Algorithm Language L.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
16	John C. Mitchell, Ramesh Viswanathan	Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).	ICALP	1996	DBLP DOI BibTeX RDF
16	Oliver Botti, Susanna Donatelli, Giuliana Franceschinis	Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	Simulation, Performance evaluation, Petri nets, Parallel architectures, Stochastic Petri nets
16	Yoshiki Kinoshita, A. John Power	A Fibrational Semantics for Logic Programs.	ELP	1996	DBLP DOI BibTeX RDF