Search results for "type-inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Sandeep Kumar, Dharma P. Agrawal, S. Purushothaman Iyer	An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs.	LCR	1995	DBLP DOI BibTeX RDF
11	Ole Agesen	Concrete type inference: delivering object-oriented applications.		1995	RDF
11	My Hoang	Type inference and program evaluation in the presence of subtyping.		1995	RDF
11	Satish R. Thatte	Type Inference with Partial Types.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
11	Fritz Henglein, Harry G. Mairson	The Complexity of Type Inference for Higher-Order Typed lambda Calculi.	J. Funct. Program.	1994	DBLP DOI BibTeX RDF
11	Gordon D. Plotkin	A Semantics for Static Type Inference	Inf. Comput.	1994	DBLP DOI BibTeX RDF
11	Martín Abadi	A Semantics for Static Type Inference in a Nondeterministic Language	Inf. Comput.	1994	DBLP DOI BibTeX RDF
11	Andreas V. Hense	Polymorphic type inference for object-oriented programming languages.		1994	RDF
11	Simon Courtenage, Chris D. Clack	Analysing Resource Use in the Lambda Calculus by Type Inference.	PEPM	1994	DBLP BibTeX RDF
11	John Plevyak, Andrew A. Chien	Precise Concrete Type Inference for Object-Oriented Languages.	OOPSLA	1994	DBLP DOI BibTeX RDF
11	Adolfo Piperno, Simona Ronchi Della Rocca	Type Inference and Extensionality	LICS	1994	DBLP DOI BibTeX RDF
11	Shin-ya Nishizaki	ML with First-Class Environments and its Type Inference Algorithm.	Logic, Language and Computation	1994	DBLP DOI BibTeX RDF
11	Ole Agesen	Constraint-Based Type Inference and Parametric Polymorphism.	SAS	1994	DBLP DOI BibTeX RDF
11	Tatsurou Sekiguchi, Akinori Yonezawa	A Complete Type Inference System for Subtyped Recursive Types.	TACS	1994	DBLP DOI BibTeX RDF
11	Jens Palsberg, Michael I. Schwartzbach	Binding-time Analysis: Abstract Interpretation versus Type Inference.	ICCL	1994	DBLP DOI BibTeX RDF
11	Christine Solnon, Michel Rueher	Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems.	LOPSTR	1994	DBLP DOI BibTeX RDF
11	Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca	Type Inference: Some Results, Some Problems.	Fundam. Informaticae	1993	DBLP BibTeX RDF
11	Lalita Jategaonkar, John C. Mitchell	Type Inference with Extended Pattern Matching and Subtypes.	Fundam. Informaticae	1993	DBLP BibTeX RDF
11	Mario Coppo, Alberto Ferrari	Type Inference, Abstract Interpretation and Strictness Analysis.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
11	Marc-Michel Corsini, Kaninda Musumbu	Type Inference in Prolog: A New Approach.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
11	Andreas Kind, Horst Friedrich	A Practical Approach to Type Inference for EuLisp.	LISP Symb. Comput.	1993	DBLP BibTeX RDF
11	Dongwook Shin, Youngmin Chung, Hyunsoo Yoon	Mode Based Type Inference for Prolog Programs.	SEKE	1993	DBLP BibTeX RDF
11	Geoffrey Smith 0001	Polymorphic Type Inference with Overloading and Subtyping.	TAPSOFT	1993	DBLP DOI BibTeX RDF
11	Margaret M. Burnett	Types and Type Inference in a Visual Programming Language.	VL	1993	DBLP DOI BibTeX RDF
11	Jens Palsberg, Michael I. Schwartzbach	Safety Analysis Versus Type Inference for Partial Types.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
11	Roberto Barbuti, Roberto Giacobazzi	A Bottom-Up Polymorphic Type Inference in Logic Programming.	Sci. Comput. Program.	1992	DBLP DOI BibTeX RDF
11	Stuart M. Shieber	Constraint-based grammar formalisms - parsing and type inference for natural and computer languages.		1992	RDF
11	Xuequn Wu	Correctly typing objects through subtyping and type inference.	SAC	1992	DBLP DOI BibTeX RDF
11	Fritz Henglein	Global Tagging Optimization by Type Inference.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
11	Richard Banach	Simple Type Inference for Term Graph Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
11	Mario Coppo, Paola Giannini	A Complete Type Inference Algorithm for Simple Intersection Types.	CAAP	1992	DBLP DOI BibTeX RDF
11	Konstantin Läufer	Polymorphic Type Inference and Abstract Data Types.		1992	RDF
11	John C. Mitchell	Type Inference With Simple Subtypes.	J. Funct. Program.	1991	DBLP DOI BibTeX RDF
11	Mitchell Wand	Type Inference for Record Concatenation and Multiple Inheritance	Inf. Comput.	1991	DBLP DOI BibTeX RDF
11	Felice Cardone, Mario Coppo	Type Inference with Recursive Types: Syntax and Semantics	Inf. Comput.	1991	DBLP DOI BibTeX RDF
11	Fritz Henglein	Efficient Type Inference for Higher-Order Binding-Time Analysis.	FPCA	1991	DBLP DOI BibTeX RDF
11	Wesley W. Chu, Rei-Chi Lee, Qiming Chen	Using Type Inference and Induced Rules to Provide Intensional Answers.	ICDE	1991	DBLP DOI BibTeX RDF
11	Jens Palsberg, Michael I. Schwartzbach	Object-Oriented Type Inference.	OOPSLA	1991	DBLP DOI BibTeX RDF
11	Alfons Kemper, Guido Moerkotte	A Framework for Strong Typing and Type Inference in (Persistent) Object Models.	DEXA	1991	DBLP BibTeX RDF
11	Alexander Aiken, Brian R. Murphy	Static Type Inference in a Dynamically Typed Language.	POPL	1991	DBLP DOI BibTeX RDF
11	Fritz Henglein, Harry G. Mairson	The Complexity of Type Inference for Higher-Order Typed Lambda Calculi.	POPL	1991	DBLP DOI BibTeX RDF	ML
11	Xavier Leroy, Pierre Weis	Polymorphic Type Inference and Assignment.	POPL	1991	DBLP DOI BibTeX RDF	ML
11	Enrique V. Kortright	Model verification in λσ: a type inference approach.	Annual Simulation Symposium	1991	DBLP DOI BibTeX RDF
11	Kevin Hammond	Efficient Type Inference Using Monads (Summary).	Functional Programming	1991	DBLP DOI BibTeX RDF
11	Cordelia V. Hall	Strictness Analysis Using Hindley-Milner Type Inference.	Functional Programming	1991	DBLP DOI BibTeX RDF
11	Sandiway Fong	Principle-Based Parsing and Type Inference.	Natural Language Understanding and Logic Programming Workshop	1991	DBLP BibTeX RDF
11	Geoffrey Smith	Polymorphic Type Inference for Languages with Overloading and Subtyping.		1991	RDF
11	You-Chin Fuh, Prateek Mishra	Type Inference with Subtypes.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
11	Mads Tofte	Type Inference for Polymorphic References	Inf. Comput.	1990	DBLP DOI BibTeX RDF
11	Kwan-Liu Ma, Robert R. Kessler	TICL-A Type Inference System for Common Lisp.	Softw. Pract. Exp.	1990	DBLP DOI BibTeX RDF
11	J. Michael Spivey, Bernard Sufrin	Type Inference in Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
11	Carsten K. Gomard	Partial Type Inference for Untyped Functional Programs.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
11	Satish Thatté	Type Inference and Implicit Scaling.	ESOP	1990	DBLP DOI BibTeX RDF
11	Susan Even, David A. Schmidt	Type Inference for Action Semantics.	ESOP	1990	DBLP DOI BibTeX RDF
11	Jerzy Tiuryn	Type Inference Problems: A Survey.	MFCS	1990	DBLP DOI BibTeX RDF
11	Thomas P. Jensen	Abstract Interpretation vs. Type Inference A Topological Perspective.	Functional Programming	1990	DBLP DOI BibTeX RDF
11	Mitchell Wand, Patrick O'Keefe	On the Complexity of Type Inference with Coercion.	FPCA	1989	DBLP DOI BibTeX RDF
11	Tsung-Min Kuo, Prateek Mishra	Strictness Analysis: A New Perspective Based on Type Inference.	FPCA	1989	DBLP DOI BibTeX RDF
11	Atsushi Ohori, Peter Buneman	Static Type Inference for Parametric Classes.	OOPSLA	1989	DBLP DOI BibTeX RDF
11	Mitchell Wand	Type Inference for Record Concatenation and Multiple Inheritance	LICS	1989	DBLP DOI BibTeX RDF
11	Atsushi Ohori, Peter Buneman, Val Tannen	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
11	J. Michael Spivey, Bernard Sufrin	Type Inference in Z.	Z User Workshop	1989	DBLP DOI BibTeX RDF
11	Stuart M. Shieber	Parsing and type inference for natural and computer languages.		1989	RDF
11	Janet A. Walz	Extending Attribute Grammar and Type Inference Algorithms.		1989	RDF
11	John C. Mitchell	Polymorphic Type Inference and Containment	Inf. Comput.	1988	DBLP DOI BibTeX RDF
11	Mitchell Wand	Corrigendum: Complete Type Inference for Simple Objects	LICS	1988	DBLP DOI BibTeX RDF
11	Thom W. Frühwirth	Type Inference by Program Transformation and Partial Evaluation.	META	1988	DBLP BibTeX RDF
11	Maarten H. van Emden	Conditional Answers for Polymorphic Type Inference.	ICLP/SLP	1988	DBLP BibTeX RDF
11	Jiyang Xu, David Scott Warren	A Type Inference System for Prolog.	ICLP/SLP	1988	DBLP BibTeX RDF
11	Thom W. Frühwirth	Type inference by program transformation and partial evaluation.	ICCL	1988	DBLP DOI BibTeX RDF
11	Mitchell Wand	Complete Type Inference for Simple Objects	LICS	1987	DBLP BibTeX RDF
11	Mario Coppo, Maddalena Zacchi	Type inference and logical relations	LICS	1986	DBLP BibTeX RDF
11	John C. Mitchell	A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary).	LISP and Functional Programming	1986	DBLP DOI BibTeX RDF
11	Jacques Calmet, Hubert Comon, Denis Lugiez	Type Inference Using Unification in Computer Algebra.	AAECC	1986	DBLP DOI BibTeX RDF
11	Hans-Juergen Boehm	Partial Polymorphic Type Inference Is Undecidable	FOCS	1985	DBLP DOI BibTeX RDF
11	Tadashi Kanamori, Kenji Horiuchi	Type Inference in Prolog and Its Application.	IJCAI	1985	DBLP BibTeX RDF
11	John C. Mitchell	Coercion and Type Inference.	POPL	1984	DBLP DOI BibTeX RDF
11	Thomas Letschert	Type Inference in the Presence of Overloading, Polymorphism and Coercions.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
10	Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani	Typing Component-Based Communication Systems.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
10	Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha	Concoqtion: indexed types now!	PEPM	2007	DBLP DOI BibTeX RDF
10	Patrick Baillot	From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.	TLCA	2007	DBLP DOI BibTeX RDF
10	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	Regulating Data Exchange in Service Oriented Applications.	FSEN	2007	DBLP DOI BibTeX RDF
10	Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta 0001	A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	verification, formal methods, program transformation, models of computation, Embedded system design
10	Bernd Braßel, Michael Hanus	Nondeterminism Analysis of Functional Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
10	Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk	Descriptive Typing Rules for Xcerpt.	PPSWR	2005	DBLP DOI BibTeX RDF
10	Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu	PType System: A Featherweight Parallelizability Detector.	APLAS	2004	DBLP DOI BibTeX RDF
10	Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell	Security by typing.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Intruder abilities, Authentication, Integrity, Type System, Cryptographic Protocols, Secrecy
10	Véronique Benzaken, Giuseppe Castagna, Alain Frisch	CDuce: an XML-centric general-purpose language.	ICFP	2003	DBLP DOI BibTeX RDF	CDuce, XML, type systems, XML-processing
10	Jens P. Secher, Morten Heine Sørensen	From checking to inference via driving and dag grammars.	PEPM	2002	DBLP DOI BibTeX RDF	inference, supercompilation, program inversion
10	Judicaël Courant	Explicit Universes for the Calculus of Constructions.	TPHOLs	2002	DBLP DOI BibTeX RDF
10	Emmanuel Coquery, François Fages	TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.	ICLP	2002	DBLP DOI BibTeX RDF
10	Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney	Region-Based Memory Management in Cyclone.	PLDI	2002	DBLP DOI BibTeX RDF
10	Rogardt Heldal, John Hughes 0001	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
10	C. Barry Jay	Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.	TLCA	2001	DBLP DOI BibTeX RDF
10	Jeffrey R. Lewis, John Launchbury, Erik Meijer 0001, Mark Shields	Implicit Parameters: Dynamic Scoping with Static Types.	POPL	2000	DBLP DOI BibTeX RDF
10	Manuel Fähndrich, Jakob Rehof, Manuvir Das	Scalable context-sensitive flow analysis using instantiation constraints.	PLDI	2000	DBLP DOI BibTeX RDF
10	Alan Mycroft	Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).	ESOP	1999	DBLP DOI BibTeX RDF
10	Anindya Banerjee 0001	A Modular, Polyvariant, and Type-Based Closure Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
10	Sebastian Shaumyan, Paul Hudak	Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language.	LACL	1997	DBLP DOI BibTeX RDF
10	Zhenyu Qian, Bernd Krieg-Brückner	Typed Object-Oriented Functional Programming with Late Binding.	ECOOP	1996	DBLP DOI BibTeX RDF