Search results for "type-inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
17	Florin Craciun, Shengchao Qin, Wei-Ngan Chin	A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.	ICFEM	2008	DBLP DOI BibTeX RDF
17	Christian Skalka, Scott F. Smith 0001	History Effects and Verification.	APLAS	2004	DBLP DOI BibTeX RDF
17	Robert Kießling, Zhaohui Luo	Coercions in Hindley-Milner Systems.	TYPES	2003	DBLP DOI BibTeX RDF
17	Dominic Duggan	Object type constructors.	Acta Informatica	2002	DBLP DOI BibTeX RDF
17	Haruo Hosoya, Benjamin C. Pierce	Regular expression pattern matching for XML.	POPL	2001	DBLP DOI BibTeX RDF	XML
17	Ken-etsu Fujita, Aleksy Schubert	Partially Typed Terms between Church-Style and Curry-Style.	IFIP TCS	2000	DBLP DOI BibTeX RDF
17	Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler	Type Classes in Haskell.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	functional programming, Haskell, Haskell, types, type classes
17	Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler	Type Classes in Haskell.	ESOP	1994	DBLP DOI BibTeX RDF
17	Tobias Nipkow, Christian Prehofer	Type Checking Type Classes.	POPL	1993	DBLP DOI BibTeX RDF	Haskell
17	Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta 0001	BALBOA: a component-based design environment for system models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
17	Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers	Let should not be generalized.	TLDI	2010	DBLP DOI BibTeX RDF	type families, haskell, type inference, type classes, generalized algebraic data types
17	Claus Brabrand, Jakob G. Thomsen	Typed and unambiguous pattern matching on strings using regular expressions.	PPDP	2010	DBLP DOI BibTeX RDF	static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation
17	Dario Colazzo, Carlo Sartiani	Detection of corrupted schema mappings in XML data integration systems.	ACM Trans. Internet Techn.	2009	DBLP DOI BibTeX RDF	mapping correctness, XML, data integration, type systems, p2p systems, type inference, data exchange
17	Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer	Types for atomicity: Static checking and inference for Java.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	type systems, concurrent programs, type inference, Atomicity
17	Chun-Yu Shei, Arun Chauhan 0001	Compile-Time Disambiguation of MATLAB Types through Concrete Interpretation with Automatic Run-Time Fallback.	eScience	2008	DBLP DOI BibTeX RDF	octave, compiler, type inference, MATLAB, constant propagation
17	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
17	Lunjin Lu	Inferring precise polymorphic type dependencies in logic programs.	PPDP	2008	DBLP DOI BibTeX RDF	type dependency, logic programs, abstract interpretation, type inference
17	László Gál, János Botzheim, László T. Kóczy	Modified bacterial memetic algorithm used for fuzzy rule base extraction.	CSTST	2008	DBLP DOI BibTeX RDF	BMA with the modified operator execution order, Mamdani-type inference systems, bacterial memetic algorithm (BMA), knot order violation handling, modified BMA (MBMA), fuzzy systems, Levenberg-Marquardt method
17	Mark P. Jones, Iavor S. Diatchki	Language and program design for functional dependencies.	Haskell	2008	DBLP DOI BibTeX RDF	type functions, relational databases, haskell, type inference, functional dependencies, qualified types
17	Vincent Simonet, François Pottier	A constraint-based approach to guarded algebraic data types.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	GADTs, Generalized algebraic data types, constraint-based type inference
17	Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu	Mutatis Mutandis: Safe and predictable dynamic software updating.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Proteus, updateability analysis, type inference, capability, Dynamic software updating
17	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	A crash course on database queries.	PODS	2007	DBLP DOI BibTeX RDF	nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra
17	Martín Abadi, Cormac Flanagan, Stephen N. Freund	Types for safe locking: Static race detection for Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type system, Concurrent programs, type inference, race conditions
17	Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis for a functional language with exceptions.	PEPM	2006	DBLP DOI BibTeX RDF	resource usage analysis, type system, type inference, exception, effect system
17	Friedrich Steimann, Philip Mayer, Andreas Meissner	Decoupling classes with inferred interfaces.	SAC	2006	DBLP DOI BibTeX RDF	interface-based programming, refactoring, type inference
17	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
17	Keiko Nakata 0001, Jacques Garrigue	Recursive modules for programming.	ICFP	2006	DBLP DOI BibTeX RDF	applicative functors, the expression problem, type systems, type inference, recursive modules
17	Benjamin S. Lerner, Dan Grossman, Craig Chambers	Seminal: searching for ML type-error messages.	ML	2006	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
17	Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks	LOCKSMITH: context-sensitive correlation analysis for race detection.	PLDI	2006	DBLP DOI BibTeX RDF	locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming
17	Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst	Dynamic inference of abstract types.	ISSTA	2006	DBLP DOI BibTeX RDF	mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units
17	Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha	Semantics-based reverse engineering of object-oriented data models.	ICSE	2006	DBLP DOI BibTeX RDF	program understanding, type inference
17	Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	type inference, Resource usage
17	Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller	Generics-related refactorings in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types
17	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
17	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones	Associated type synonyms.	ICFP	2005	DBLP DOI BibTeX RDF	associated types, type functions, type inference, generic programming, type classes
17	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
17	Adam Chlipala, Leaf Petersen, Robert Harper 0001	Strict bidirectional type checking.	TLDI	2005	DBLP DOI BibTeX RDF	strict logic, type inference, type theory
17	Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks	Transparent proxies for java futures.	OOPSLA	2004	DBLP DOI BibTeX RDF	Java, type inference, proxy, future, type qualifier
17	Daniel von Dincklage, Amer Diwan	Converting Java classes to use generics.	OOPSLA	2004	DBLP DOI BibTeX RDF	generics, type inference, parametric polymorphism
17	Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst	Converting java programs to use generic libraries.	OOPSLA	2004	DBLP DOI BibTeX RDF	JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
17	Ferruccio Damiani	Rank 2 intersection types for local definitions and conditional expressions.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	polymorphic recursion, Type inference, principal typings
17	Didier Le Botlan, Didier Rémy	MLF: raising ML to the power of system F.	ICFP	2003	DBLP DOI BibTeX RDF	first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F
17	Ferruccio Damiani	Rank 2 intersection types for modules.	PPDP	2003	DBLP DOI BibTeX RDF	type inference, separate compilation, principal typings
17	Jonathan Aldrich, Valentin Kostadinov, Craig Chambers	Alias annotations for program understanding.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness
17	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard	Exception analysis for non-strict languages.	ICFP	2002	DBLP DOI BibTeX RDF	Boolean constraints, non-strict functional programming languages, type inference, exceptions, effect systems
17	Tomoyuki Higuchi, Atsushi Ohori	Java bytecode as a typed term calculus.	PPDP	2002	DBLP DOI BibTeX RDF	bytecode verifier, type system, type inference, Java bytecode
17	Daniel Jackson 0001, Allison Waingold	Lightweight Extraction of Object Models from Bytecode.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	design conformance, lightweight analysis, reverse engineering, program understanding, type inference, Object model, class diagram
17	Todd B. Knoblock, Jakob Rehof	Type elaboration and subtype completion for Java bytecode.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language
17	Arie van Deursen, Leon Moonen	Exploring Legacy Systems using Types.	WCRE	2000	DBLP DOI BibTeX RDF	variable usage, Software maintenance, program analysis, hypertext, program understanding, type inference, documentation generation
17	Eric Violard	Typechecking of PEI Expressions.	Euro-Par	1997	DBLP DOI BibTeX RDF	Data Parallelism and automatic parallelization, Parallel computation, Type inference, Semantics of programming languages
17	Atsushi Ohori	A Polymorphic Record Calculus and Its Compilation.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	record calculus, compilation, polymorphism, type inference, type theory
17	Witold Charatonik, Leszek Pacholski	Set constraints with projections are in NEXPTIME	FOCS	1994	DBLP DOI BibTeX RDF	negated set constraints, NEXPTIME, program analysis, projections, type inference, decidability, set constraints
17	Fritz Henglein, Jesper Jørgensen	Formally Optimal Boxing.	POPL	1994	DBLP DOI BibTeX RDF	representation analysis, polymorphism, type inference
17	Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach	Efficient Inference of Partial Types	FOCS	1992	DBLP DOI BibTeX RDF	partial types, heterogeneous lists, persistent data, exponential time algorithm, type inference, decidability, lambda -calculus, recursive types, finite automaton, type constraints
17	Prateek Mishra, Uday S. Reddy	Declaration-Free Type Checking.	POPL	1985	DBLP DOI BibTeX RDF	equational languages, regular trees, solving inequations, type inference
16	Maurizio Cimadamore, Mirko Viroli	Integrating Java and Prolog through generic methods and type inference.	SAC	2008	DBLP DOI BibTeX RDF	java, prolog, generics, wildcards, multiparadigm
16	José M. Claver, Germán León	High Level Power Optimization by Type Inference on the Generation of Application Specific Circuits on FPGAs.	FPL	2007	DBLP DOI BibTeX RDF
16	Stijn Vansummeren	Type inference for unique pattern matching.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	disambiguation policies, XML, programming languages, Pattern matching
16	François Pottier, Yann Régis-Gianas	Stratified type inference for generalized algebraic data types.	POPL	2006	DBLP DOI BibTeX RDF
16	Steven Alexander Spoon, Olin Shivers	Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.	ECOOP	2004	DBLP DOI BibTeX RDF
16	Morten Heine Sørensen, Jens P. Secher	From Type Inference to Configuration.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
16	Cordelia V. Hall	Using Hindley-Milner Type Inference to Optimise List Representation.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
16	David Eichmann	Type inference and the Algebra of qualified relations.	SPDP	1990	DBLP DOI BibTeX RDF
16	Robert S. Sutor, Richard D. Jenks	The type inference and coercion facilities in the scratchpad II interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	SCRATCHPAD
16	Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo 0001, Qirun Zhang, Michael R. Lyu	Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python.	ICSE	2022	DBLP DOI BibTeX RDF
16	Pierrick Couderc	Vérification des résultats de l'inférence de types du langage OCaml. (Checking type inference results of the OCaml language).		2018	RDF
16	Pascal Zimmer	Récursion généralisée et inférence de types avec intersection. (Generalised recursion and type inference for intersection types).		2004	RDF
16	Takashi Mitsuishi, Katsumi Wasaki, Keiji Ohkubo, Jun Kawabe, Yasuiiari Shidama	Fuzzy optimal control using simple inference method and function type inference method.	ACC	2000	DBLP DOI BibTeX RDF
16	Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser	Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.	CoRR	2024	DBLP DOI BibTeX RDF
16	Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser	Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
16	Gonglin Li	An Affine Type System with Hindley-Milner Style Type Inference.	CoRR	2022	DBLP DOI BibTeX RDF
16	Milod Kazerounian, Jeffrey S. Foster, Bonan Min	SimTyper: sound type inference for Ruby using type equality prediction.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
16	Nevena Milojkovic, Mohammad Ghafari, Oscar Nierstrasz	Exploiting type hints in method argument names to improve lightweight type inference.	ICPC	2017	DBLP DOI BibTeX RDF
16	Giuseppe Castagna, Kim Nguyen 0001, Zhiwu Xu 0001, Pietro Abate	Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.	POPL	2015	DBLP DOI BibTeX RDF
16	Daniel Deutch, Tova Milo	Type inference and type checking for queries over execution traces.	VLDB J.	2012	DBLP DOI BibTeX RDF
16	Alastair F. Donaldson, Simon J. Gay	Type inference and strong static type checking for Promela.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
16	Hannes Mehnert	Extending Dylan's type system for better type inference and error detection.	ILC	2010	DBLP DOI BibTeX RDF
16	Gérard Boudol	On strong normalization and type inference in the intersection type discipline.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
16	Daniel Deutch, Tova Milo	Type inference and type checking for queries on execution traces. (PDF / PS)	Proc. VLDB Endow.	2008	DBLP DOI BibTeX RDF
16	Stijn Vansummeren	Well-definedness, semantic type-checking and type inference for database query languages		2005	RDF
16	Luigi Liquori, Benjamin Wack	The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].	WRLA	2004	DBLP DOI BibTeX RDF
16	Gérard Boudol, Pascal Zimmer	On Type Inference in the Intersection Type Discipline.	ITRS	2004	DBLP DOI BibTeX RDF
16	Lunjin Lu, Andy King	Backward Type Inference Generalises Type Checking.	SAS	2002	DBLP DOI BibTeX RDF
16	Mario Coppo	Type Inference with Recursive Type Equations.	FoSSaCS	2001	DBLP DOI BibTeX RDF	type assignment, Recursive types
16	Paula Severi	Type Inference for Pure Type Systems.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
16	John Hughes	Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
16	Ole Agesen, Urs Hölzle	Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages.	OOPSLA	1995	DBLP DOI BibTeX RDF
16	Paola Giannini, Simona Ronchi Della Rocca	A Type Inference Algorithm for a Stratified Polymorphic Type Discipline	Inf. Comput.	1994	DBLP DOI BibTeX RDF
16	Alexander Aiken, Edward L. Wimmers	Type Inclusion Constraints and Type Inference.	FPCA	1993	DBLP DOI BibTeX RDF
16	Paola Giannini, Simona Ronchi Della Rocca	Type Inference in Polymorphic Type Discipline.	TACS	1991	DBLP DOI BibTeX RDF
16	Stephen Blott	Type Inference and Type Classes.	Functional Programming	1989	DBLP BibTeX RDF
16	Justin O. Graver	Type checking and type inference for object-oriented programming languages		1989	RDF
16	Takuya Katayama	Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
16	John Mitchell	Type Inference and Type Containment.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
15	George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer qualifier, libraries, subtyping, Memory safety
15	C. Barry Jay	The pattern calculus.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming
15	Sriram K. Rajamani, Jakob Rehof	A Behavioral Module System for the Pi-Calculus.	SAS	2001	DBLP DOI BibTeX RDF
15	Pascal Zimmer	Subtyping and Typing Algorithms for Mobile Ambients.	FoSSaCS	2000	DBLP DOI BibTeX RDF
15	John Hughes 0001	The Correctness of Type Specialisation.	ESOP	2000	DBLP DOI BibTeX RDF