Search results for "type-inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Andrew D. Gordon 0001, Hans Hüttel, René Rydhof Hansen	Type Inference for Correspondence Types.	SecCo@CONCUR	2008	DBLP DOI BibTeX RDF
11	Martin Sulzmann, Peter J. Stuckey	HM(X) type inference is CLP(X) solving.	J. Funct. Program.	2008	DBLP DOI BibTeX RDF
11	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
11	Marco Gaboardi, Simona Ronchi Della Rocca	Type Inference for a Polynomial Lambda Calculus.	TYPES	2008	DBLP DOI BibTeX RDF
11	Davide Ancona, Giovanni Lagorio, Elena Zucca	Type Inference by Coinductive Logic Programming.	TYPES	2008	DBLP DOI BibTeX RDF
11	Vincent Atassi, Patrick Baillot, Kazushige Terui	Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic	CoRR	2007	DBLP BibTeX RDF
11	Vincent Atassi, Patrick Baillot, Kazushige Terui	Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
11	Cormac Flanagan, Stephen N. Freund	Type inference against races.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
11	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields	Practical type inference for arbitrary-rank types.	J. Funct. Program.	2007	DBLP DOI BibTeX RDF
11	George Kuan, David MacQueen, Robert Bruce Findler	A Rewriting Semantics for Type Inference.	ESOP	2007	DBLP DOI BibTeX RDF
11	Hannes Kegel, Friedrich Steimann	ITCORE: A Type Inference Package for Refactoring Tools.	WRT	2007	DBLP BibTeX RDF
11	Davide Ancona, Giovanni Lagorio, Elena Zucca	Type inference for polymorphic methods in Java-like languages.	ICTCS	2007	DBLP BibTeX RDF
11	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu	State of the Union: Type Inference Via Craig Interpolation.	TACAS	2007	DBLP DOI BibTeX RDF
11	Andreas V. Hense	Polymorphic type inference for object-oriented programming languages.		2007	RDF
11	Bradley Lushman	Direct and Expressive Type Inference for the Rank 2 Fragment of System F.		2007	RDF
11	Martin Erwig	Visual type inference.	J. Vis. Lang. Comput.	2006	DBLP DOI BibTeX RDF
11	Christopher Lyon Anderson	Type inference for JavaScript.		2006	RDF
11	Peter J. Stuckey, Martin Sulzmann	Type Inference for Guarded Recursive Data Types	CoRR	2005	DBLP BibTeX RDF
11	Vijay Krishnan, Sujatha Das, Soumen Chakrabarti	Enhanced Answer Type Inference from Questions using Sequential Models.	HLT/EMNLP	2005	DBLP BibTeX RDF
11	Christopher Anderson, Paola Giannini, Sophia Drossopoulou	Towards Type Inference for JavaScript.	ECOOP	2005	DBLP DOI BibTeX RDF
11	Steven Alexander Spoon	Demand-Driven Type Inference with Subgoal Pruning.		2005	RDF
11	Sébastien Carlier, J. B. Wells	Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation.	ITRS	2004	DBLP DOI BibTeX RDF
11	Elio Giovannetti	Type Inference for Mobile Ambients in Prolog.	CATS	2004	DBLP DOI BibTeX RDF
11	Patrick Baillot	Type inference for light affine logic via constraints on words.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
11	A. J. Kfoury, J. B. Wells	Principality and type inference for intersection types using expansion variables.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
11	Cédric Lhoussaine	Type inference for a distributed \pi-calculus.	Sci. Comput. Program.	2004	DBLP DOI BibTeX RDF
11	Jens Palsberg, Tian Zhao 0002	Type inference for record concatenation and subtyping.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
11	Robert Johnson, David A. Wagner 0001	Finding User/Kernel Pointer Bugs with Type Inference.	USENIX Security Symposium	2004	DBLP BibTeX RDF
11	Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta 0001	A Behavioral Type Inference System for Compositional System-on-Chip Design.	ACSD	2004	DBLP DOI BibTeX RDF
11	Nathan Linger, Tim Sheard	Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.	TACAS	2004	DBLP DOI BibTeX RDF
11	Rahul Agarwal, Scott D. Stoller	Type Inference for Parameterized Race-Free Java.	VMCAI	2004	DBLP DOI BibTeX RDF
11	Eric P. Xing, Roded Sharan, Michael I. Jordan	Bayesian haplo-type inference via the dirichlet process.	ICML	2004	DBLP DOI BibTeX RDF
11	Hyunjun Eo, Oukseh Lee, Kwangkeun Yi	Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.	New Gener. Comput.	2003	DBLP DOI BibTeX RDF
11	Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão 0001	Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.	J. Univers. Comput. Sci.	2003	DBLP BibTeX RDF
11	Paolo Coppola 0001, Simone Martini 0001	Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic	CoRR	2003	DBLP BibTeX RDF
11	Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine	Trading-Off Type-Inference Memory Complexity Against Communication.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
11	Pramod G. Joisha, Prithviraj Banerjee	The MAGICA Type Inference Engine for MATLAB.	CC	2003	DBLP DOI BibTeX RDF
11	Premkumar T. Devanbu, Michael Gertz 0001, Brian Toone	Static Type-Inference for Trust in Distributed Information Systems.	OTM	2003	DBLP DOI BibTeX RDF
11	Sébastien Carlier	Polar Type Inference with Intersection Types and omega.	ITRS	2002	DBLP DOI BibTeX RDF
11	Mario Coppo, Ferruccio Damiani, Paola Giannini	Strictness, totality, and non-standard-type inference.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
11	Jan Van den Bussche, Emmanuel Waller	Polymorphic Type Inference for the Relational Algebra.	J. Comput. Syst. Sci.	2002	DBLP DOI BibTeX RDF
11	Michele Bugliesi, Santiago M. Pericás-Geertsen	Type Inference for Variant Object Types.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
11	Claudio Vaucheret, Francisco Bueno	More Precise Yet Efficient Type Inference for Logic Programs.	WLPE	2002	DBLP BibTeX RDF
11	Claudio Vaucheret, Francisco Bueno	More Precise Yet Efficient Type Inference for Logic Programs.	SAS	2002	DBLP DOI BibTeX RDF
11	Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone	A Type Inference Algorithm for Secure Ambients.	TOSCA	2001	DBLP DOI BibTeX RDF
11	Sandra Alves, Mário Florido	Type Inference using Constraint Handling Rules.	WFLP	2001	DBLP DOI BibTeX RDF
11	Raymond Turner	Type inference for set theory.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
11	Jan Van den Bussche, Emmanuel Waller	Polymorphic type inference for the relational algebra	CoRR	2001	DBLP BibTeX RDF
11	Jacques Garrigue	Simple Type Inference for Structural Polymorphism.	APLAS	2001	DBLP BibTeX RDF
11	Manfred Widera, Christoph Beierle	Function Types in Complete Type Inference.	Scottish Functional Programming Workshop	2001	DBLP BibTeX RDF
11	Manfred Widera	Complete type inference in functional programming.		2001	RDF
11	Rebecca Walpole Djang, Margaret M. Burnett, Roger D. Chen	Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance.	J. Vis. Lang. Comput.	2000	DBLP DOI BibTeX RDF
11	Martin Müller, Susumu Nishimura	Type Inference for First-Class Messages with Feature Constraints.	Int. J. Found. Comput. Sci.	2000	DBLP DOI BibTeX RDF
11	Shin-ya Nishizaki	A Polymorphic Environment Calculus and its Type-Inference Algorithm.	High. Order Symb. Comput.	2000	DBLP DOI BibTeX RDF
11	François Pottier	A Versatile Constraint-Based Type Inference System.	Nord. J. Comput.	2000	DBLP BibTeX RDF
11	Oukseh Lee, Kwangkeun Yi	A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms.	APLAS	2000	DBLP BibTeX RDF
11	Georg Ringwelski, Hans Schlenker	Type Inference in CHR Programs for the Composition of Constraint Systems.	WLP	2000	DBLP BibTeX RDF
11	Bruce J. McAdam, Andrew Kennedy, Nick Benton	Type inference for MLj.	Scottish Functional Programming Workshop	2000	DBLP BibTeX RDF
11	Olaf Chitil	Type-inference based deforestation of functional programs. (PDF / PS)		2000	RDF
11	Martin Odersky, Martin Sulzmann, Martin Wehr	Type Inference with Constrained Types.	Theory Pract. Object Syst.	1999	DBLP BibTeX RDF
11	Fritz Henglein	Breaking Through the n3 Barrier: Faster Object Type Inference.	Theory Pract. Object Syst.	1999	DBLP BibTeX RDF
11	Catherine Dubois, Valérie Ménissier-Morain	Certification of a Type Inference Tool for ML: Damas-Milner within Coq.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
11	Wolfgang Naraschewski, Tobias Nipkow	Type Inference Verified: Algorithm W in Isabelle/HOL.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
11	Olaf Chitil	Type-Inference Based Short Cut Deforestation (Nearly) without Inlining.	IFL	1999	DBLP DOI BibTeX RDF
11	A. J. Kfoury, J. B. Wells	Principality and Decidable Type Inference for Finite-Rank Intersection Types.	POPL	1999	DBLP DOI BibTeX RDF
11	Jan Van den Bussche, Emmanuel Waller	Type Inference in the Polymorphic Relational Algebra.	PODS	1999	DBLP DOI BibTeX RDF
11	Tova Milo, Dan Suciu	Type Inference for Queries on Semistructured Data.	PODS	1999	DBLP DOI BibTeX RDF
11	Stephen Gilmore	Deep Type Inference for Mobile Functions.	Scottish Functional Programming Workshop	1999	DBLP BibTeX RDF
11	Carlos Camarão 0001, Lucília Figueiredo	Type Inference for Overloading without Restrictions, Declarations or Annotations.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
11	Cedric Luiz de Carvalho, Eduardo Costa Pereira, Rita Maria da Silva Julia	Type Inference in Logic Programming Context.	ICEIS	1999	DBLP BibTeX RDF
11	Mark Shields, Tim Sheard, Simon L. Peyton Jones	Dynamic Typing as Staged Type Inference.	POPL	1998	DBLP DOI BibTeX RDF	Application Builder
11	Aleksy Schubert	Second-Order Unification and Type Inference for Church-Style Polymorphism.	POPL	1998	DBLP DOI BibTeX RDF
11	Benjamin C. Pierce, David N. Turner	Local Type Inference.	POPL	1998	DBLP DOI BibTeX RDF	ML
11	Pascal Rapicault, Mireille Blay-Fornarino, Stéphane Ducasse, Anne-Marie Dery	Dynamic Type Inference to Support Object-Oriented Reenginerring in Smalltalk.	ECOOP Workshops	1998	DBLP BibTeX RDF
11	Arie van Deursen, Leon Moonen	Type Inference for COBOL Systems.	WCRE	1998	DBLP DOI BibTeX RDF
11	François Pottier	A Framework for Type Inference with Subtyping.	ICFP	1998	DBLP DOI BibTeX RDF
11	Witold Charatonik, Andreas Podelski	Directional Type Inference for Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF
11	Jens Palsberg, Trevor Jim	Type Inference with Simple Selftypes is NP-complete.	Nord. J. Comput.	1997	DBLP BibTeX RDF
11	Jens Palsberg, Mitchell Wand, Patrick O'Keefe	Type Inference with Non-Structural Subtyping.	Formal Aspects Comput.	1997	DBLP DOI BibTeX RDF
11	Pawel Pietrzak	Type Inference for CLP(FD).	ILPS	1997	DBLP BibTeX RDF
11	Yahia Lebbah	Consistency Checking by Type Inference and Constraint Satisfaction.	SAFECOMP	1997	DBLP DOI BibTeX RDF
11	Mark P. Jones	First-class Polymorphism with Type Inference.	POPL	1997	DBLP DOI BibTeX RDF	ML
11	Suzanne Collin, Dominique Colnet, Olivier Zendra	Type Inference for Late Binding: The SmallEiffel Compiler.	JMLC	1997	DBLP DOI BibTeX RDF
11	Robert O'Callahan, Daniel Jackson 0001	Lackwit: A Program Understanding Tool Based on Type Inference.	ICSE	1997	DBLP DOI BibTeX RDF	C, C, abstraction, representation, restructuring
11	Jan Gustafsson, Kjell Post, Jukka Mäki-Turja, Ellus Brorsson	Benefits of type inference for an object-oriented real-time language.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
11	Dominic Duggan, Gordon V. Cormack, John Ophel	Kinded Type Inference for Parametric Overloading.	Acta Informatica	1996	DBLP DOI BibTeX RDF
11	Jens Palsberg	Type Inference for Objects.	ACM Comput. Surv.	1996	DBLP DOI BibTeX RDF
11	Dominic Duggan, Frederick Bent	Explaining Type Inference.	Sci. Comput. Program.	1996	DBLP DOI BibTeX RDF
11	Jesús Manuel Almendros-Jiménez	Type Inference and Checking for POS-typed Funtional Logic Programs.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
11	Wolfgang Naraschewski, Tobias Nipkow	Type Inference Verified: Algorithm W in Isabelle/HOL.	TYPES	1996	DBLP DOI BibTeX RDF
11	Trevor Jim	Principal typings and type inference.		1996	RDF
11	Jonathan Eifrig, Scott F. Smith 0001, Valery Trifonov	Type inference for recursively constrained types and its application to OOP.	MFPS	1995	DBLP DOI BibTeX RDF
11	Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari	Type Inference for Turbo Pascal.	Softw. Concepts Tools	1995	DBLP BibTeX RDF
11	Chris Hankin, Daniel Le Métayer	Lazy Type Inference and Program Analysis.	Sci. Comput. Program.	1995	DBLP DOI BibTeX RDF
11	Jens Palsberg, Michael I. Schwartzbach	Safety Analysis versus Type Inference	Inf. Comput.	1995	DBLP DOI BibTeX RDF
11	Ole Agesen, Jens Palsberg, Michael I. Schwartzbach	Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance	Softw. Pract. Exp.	1995	DBLP DOI BibTeX RDF
11	Fritz Henglein, Jakob Rehof	Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML.	FPCA	1995	DBLP DOI BibTeX RDF
11	Bruno Monsuez	Using Abstract Interpretation to Define a Strictness Type Inference System.	PEPM	1995	DBLP DOI BibTeX RDF
11	Jonathan Eifrig, Scott F. Smith 0001, Valery Trifonov	Sound Polymorphic Type Inference for Objects.	OOPSLA	1995	DBLP DOI BibTeX RDF
11	Erik Barendsen, Sjaak Smetsers	Uniqueness Type Inference	PLILP	1995	DBLP DOI BibTeX RDF