Search results for "coercions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Gilles Barthe	Implicit Coercions in Type Systems.	TYPES	1995	DBLP DOI BibTeX RDF
65	Andreas Weber	On Coherence in Computer Algebra.	DISCO	1993	DBLP DOI BibTeX RDF
61	Matthieu Sozeau	Subset Coercions in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
61	Andreas Weber	Algorithms for Type Inference with Coercions.	ISSAC	1994	DBLP DOI BibTeX RDF
59	Stefan Monnier	The swiss coercion.	PLPV	2007	DBLP DOI BibTeX RDF	type based security, formal methods, compilation, coercions
59	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
56	William Babonnaud	Sémantique lexicale, compositionnalité et coercions. Fondements théoriques des types sémantiques. (Lexical Semantics, compositionality and coercions. Theoretical foundations of semantic types).		2022	RDF
56	Julien Cretin	Erasable coercions: a unified approach to type systems. (Coercions effaçables : une approche unifiée des systèmes de types).		2014	RDF
49	Karl-Filip Faxén	Representation Analysis for Coercion Placement.	SAS	2002	DBLP DOI BibTeX RDF
45	Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman	A theory of typed coercions and its applications.	ICFP	2009	DBLP DOI BibTeX RDF	coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance
45	Yong Luo 0001, Zhaohui Luo	Combining Incoherent Coercions for Sigma-Types.	TYPES	2003	DBLP DOI BibTeX RDF
45	Robert Kießling, Zhaohui Luo	Coercions in Hindley-Milner Systems.	TYPES	2003	DBLP DOI BibTeX RDF
45	Val Tannen, Carl A. Gunter, Andre Scedrov	Computing with Coercions.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
42	Jeremy G. Siek, Philip Wadler	Threesomes, with and without blame.	POPL	2010	DBLP DOI BibTeX RDF	blame tracking, lambda-calculus, coercions, casts
42	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for web services.	POPL	2008	DBLP DOI BibTeX RDF	explicit coercions, must testing, web services, contracts, subtyping, type theory, CCS, concurrency theory
42	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
42	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
33	Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt	Fine-grained interoperability through mirrors and contracts.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, interoperability, contracts, scheme, mirrors
33	Frank Atanassow, Johan Jeuring	Inferring Type Isomorphisms Generically.	MPC	2004	DBLP DOI BibTeX RDF
33	Andreas Rossberg	Generativity and dynamic opacity for abstract types.	PPDP	2003	DBLP DOI BibTeX RDF	generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
33	Henry Cejtin, Suresh Jagannathan, Stephen Weeks	Flow-Directed Closure Conversion for Typed Languages.	ESOP	2000	DBLP DOI BibTeX RDF
33	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
33	Fritz Henglein	Dynamic Typing.	ESOP	1992	DBLP DOI BibTeX RDF
33	Satish R. Thatte	Quasi-Static Typing.	POPL	1990	DBLP DOI BibTeX RDF
33	You-Chin Fuh, Prateek Mishra	Type Inference with Subtypes.	ESOP	1988	DBLP DOI BibTeX RDF
28	Robert Y. Lewis, Paul-Nicolas Madelaine	Normalizing Casts and Coercions.	CoRR	2020	DBLP BibTeX RDF
28	Robert Y. Lewis, Paul-Nicolas Madelaine	Simplifying Casts and Coercions (Extended Abstract).	PAAR+SC²@IJCAR	2020	DBLP BibTeX RDF
28	Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek	Toward efficient gradual typing for structural types via coercions.	PLDI	2019	DBLP DOI BibTeX RDF
28	Christopher Schwaab	Verified programming with explicit coercions.		2019	RDF
28	Larry Diehl, Aaron Stump	Zero-Cost Coercions for Program and Proof Reuse.	CoRR	2018	DBLP BibTeX RDF
28	Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot, Christian Retoré	Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis.	JSAI-isAI Workshops	2017	DBLP DOI BibTeX RDF
28	Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich	Safe zero-cost coercions for Haskell.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
28	Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich	Safe zero-cost coercions for Haskell.	ICFP	2014	DBLP DOI BibTeX RDF
28	Giulio Manzonetto, Paolo Tranquilli	Strong normalization of MLF via a calculus of coercions.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
28	Kirk Roberts, Sanda M. Harabagiu	Unsupervised Learning of Selectional Restrictions and Detection of Argument Coercions.	EMNLP	2011	DBLP BibTeX RDF
28	Nada Korac-Kakabadse, Alexander Kouzmin, Andrew Kakabadse	Radio-Frequency Identification and Human Tagging: Newer Coercions.	Int. J. E Politics	2010	DBLP DOI BibTeX RDF
28	Elisabetta Jezek, Valeria Quochi	Capturing Coercions in Texts: a First Annotation Exercise.	LREC	2010	DBLP BibTeX RDF
28	Claudio Sacerdoti Coen, Enrico Tassi	Nonuniform Coercions via Unification Hints	TYPES	2009	DBLP DOI BibTeX RDF
28	Andreas Rossberg	Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions.	MFPS	2008	DBLP DOI BibTeX RDF
28	Zhaohui Luo	Coercions in a polymorphic type system.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
28	Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly	System F with type equality coercions.	TLDI	2007	DBLP DOI BibTeX RDF	advanced type features, typed intermediate language
28	Gilles Barthe	A computational view of implicit coercions in type theory.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
28	Zhaohui Luo, Sergei Soloviev 0001	Dependent Coercions.	CTCS	1999	DBLP DOI BibTeX RDF
28	Sanda M. Harabagiu	Deriving Metonymic Coercions from WordNet.	WordNet@ACL/COLING	1998	DBLP BibTeX RDF
28	Stephan A. Missura, Andreas Weber 0004	Using Commutativity Properties for Controlling Coercions.	AISMC	1994	DBLP DOI BibTeX RDF
28	Matti O. Jokinen	Uniform approach to parameter transmission mechanisms, coercions, optional parameters and patterns.	Acta Cybern.	1990	DBLP BibTeX RDF
28	Thomas Letschert	Type Inference in the Presence of Overloading, Polymorphism and Coercions.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
28	Jean-Pierre Banâtre	Producing Optimised Code for Coercions.	Inf. Process. Lett.	1977	DBLP DOI BibTeX RDF
26	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for Web services.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory
26	Arthur I. Baars, S. Doaitse Swierstra	Typing dynamic typing.	ICFP	2002	DBLP DOI BibTeX RDF	Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing
16	François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau	Packaging Mathematical Structures.	TPHOLs	2009	DBLP DOI BibTeX RDF	Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq
16	Achim D. Brucker, Burkhart Wolff	An Extensible Encoding of Object-oriented Data Models in hol.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Verification, Theorem proving, Object-oriented data models, hol
16	Achim D. Brucker, Burkhart Wolff	Extensible Universes for Object-Oriented Data Models.	ECOOP	2008	DBLP DOI BibTeX RDF
16	Pierre-Louis Curien	The Joy of String Diagrams.	CSL	2008	DBLP DOI BibTeX RDF
16	Jedidiah R. Crandall, Shyhtsun Felix Wu, Frederic T. Chong	Minos: Architectural support for protecting control data.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	Control data, worms, buffer overflow
16	Michal Lentner, Krzysztof Stencel, Kazimierz Subieta	Semi-strong Static Type Checking of Object-Oriented Query Languages.	SOFSEM	2006	DBLP DOI BibTeX RDF
16	Roberto Di Cosmo, François Pottier, Didier Rémy	Subtyping Recursive Types Modulo Associative Commutative Products.	TLCA	2005	DBLP DOI BibTeX RDF
16	Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu	Mutatis mutandis: safe and predictable dynamic software updating.	POPL	2005	DBLP DOI BibTeX RDF	proteus, updateability analysis, type inference, capability, dynamic software updating
16	Rudi Schmiede	Scientific Work and the Usage of Digital Scientific Information - Some Notes on Structures, Discrepancies, Tendencies, and Strategies.	From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments	2005	DBLP DOI BibTeX RDF
16	Jedidiah R. Crandall, Frederic T. Chong	Minos: Control Data Attack Prevention Orthogonal to Memory Model.	MICRO	2004	DBLP DOI BibTeX RDF
16	Ian J. Hayes	Programs as Paths: An Approach to Timing Constraint Analysis.	ICFEM	2003	DBLP DOI BibTeX RDF
16	Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001	Weak Transitivity in Coercive Subtyping.	TYPES	2002	DBLP DOI BibTeX RDF
16	Rogardt Heldal, John Hughes 0001	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
16	Yong Luo 0001, Zhaohui Luo	Coherence and Transitivity in Coercive Subtyping.	LPAR	2001	DBLP DOI BibTeX RDF
16	Nils Klarlund, Michael I. Schwartzbach	A Domain-Specific Language for Regular Sets of Strings and Trees.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	regular sets, trees, Domain-specific languages, logic, strings
16	Zhe Yang	Encoding Types in ML-Like Languages.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language
16	Fritz Schwarz	ALLTYPES: An ALgebraic Language and TYPE System.	AISC	1998	DBLP DOI BibTeX RDF
16	Zhaohui Luo	Coercive Subtyping in Type Theory.	CSL	1996	DBLP DOI BibTeX RDF
16	Martin Hofmann 0001, Benjamin C. Pierce	Positive Subtyping.	POPL	1995	DBLP DOI BibTeX RDF
16	Hideki Tsuiki	On Typed Calculi with a Merge Operator.	FSTTCS	1994	DBLP DOI BibTeX RDF
16	Philip S. Santas	A Type System for Computer Algebra.	DISCO	1993	DBLP DOI BibTeX RDF
16	Stephan A. Missura	Extending AlgBench with a Type System.	DISCO	1993	DBLP DOI BibTeX RDF
16	Giuseppe Castagna	A Meta-Language for Typed Object-Oriented Languages.	FSTTCS	1993	DBLP DOI BibTeX RDF
16	Xavier Leroy	Unboxed Objects and Polymorphic Typing.	POPL	1992	DBLP DOI BibTeX RDF	ML
16	Stefan Kaes	Type Inference in the Presence of Overloading, Subtyping and Recursive Types.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
16	David A. Wright 0001	A New Technique for Strictness Analysis.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
16	Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin	How to Make Algebraic Specifications More Understandable?.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
16	John C. Mitchell	Coercion and Type Inference.	POPL	1984	DBLP DOI BibTeX RDF