Search results for "type-inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
86	François Pottier	From ML type inference to stratified type inference.	ICFP	2005	DBLP DOI BibTeX RDF
69	Satish Chandra 0001, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík	Type inference for locality analysis of distributed data structures.	PPoPP	2008	DBLP DOI BibTeX RDF	equality-based constraint system, type inference, unification, x10, partitioned global address space
66	Peter Møller Neergaard, Harry G. Mairson	Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.	ICFP	2004	DBLP DOI BibTeX RDF	proofnet, complexity, type inference, normalization, intersection types, idempotence
64	Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere	Type inference for datalog and its application to query optimisation.	PODS	2008	DBLP DOI BibTeX RDF	query optimization, datalog, type inference
62	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
61	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
59	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
58	Daniel Smith 0003, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
58	Ole Agesen	The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.	ECOOP	1995	DBLP DOI BibTeX RDF	concrete types, inheritance, polymorphism, type inference, Self, abstract types
57	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	PolyAML: a polymorphic aspect-oriented functional programming language.	ICFP	2005	DBLP DOI BibTeX RDF	aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
55	Didier Rémy	Simple, partial type-inference for System F based on type-containment.	ICFP	2005	DBLP DOI BibTeX RDF	type containment, type reconstruction, polymorphism, type inference, System F, elaboration
53	Didier Rémy, Boris Yakobowski	From ML to MLF: graphic type constraints with efficient type inference.	ICFP	2008	DBLP DOI BibTeX RDF	type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
53	Jeremy G. Siek, Manish Vachharajani	Gradual typing with unification-based inference.	DLS	2008	DBLP DOI BibTeX RDF	gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing
52	Sébastien Carlier, J. B. Wells	Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.	PPDP	2004	DBLP DOI BibTeX RDF	expansion variables, type inference, lambda-calculus, intersection types
51	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
51	Martin Plümicke	Typeless programming in Java 5.0 with wildcards.	PPPJ	2007	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
50	Tobias Lindahl, Konstantinos Sagonas	Practical type inference based on success typings.	PPDP	2006	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, constraint-based type inference
50	Konstantin Läufer, Martin Odersky	Polymorphic Type Inference and Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
50	Martin Müller, Susumu Nishimura	Type Inference for First-Class Messages with Feature Constraints.	ASIAN	1998	DBLP DOI BibTeX RDF	first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference
50	George Kuan, David MacQueen	Efficient type inference using ranked type variables.	ML	2007	DBLP DOI BibTeX RDF	algorithm W, compilers, functional programming, type inference, type checking, standard ML
49	Max Schäfer, Oege de Moor	Type inference for datalog with complex type hierarchies.	POPL	2010	DBLP DOI BibTeX RDF	type system, datalog, type inference
48	Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis	Complete and decidable type inference for GADTs.	ICFP	2009	DBLP DOI BibTeX RDF	Haskell, type inference, GADTs
47	Martin Plümicke, Jörg Bäuerle	Typeless programming in Java 5.0.	PPPJ	2006	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
47	François Fages, Sylvain Soliman	Type Inference in Systems Biology.	CMSB	2006	DBLP DOI BibTeX RDF
47	Aaron Tomb, Cormac Flanagan	Automatic type inference via partial evaluation.	PPDP	2005	DBLP DOI BibTeX RDF	applications of declarative programming, logic programming, program analysis, type systems
46	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn	Simple unification-based type inference for GADTs.	ICFP	2006	DBLP DOI BibTeX RDF	type inference, generalized algebraic data types
45	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
45	Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers	Searching for type-error messages.	PLDI	2007	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
45	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	2005	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
45	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
45	Martin Sulzmann	A General Type Inference Framework for Hindley/Milner Style Systems.	FLOPS	2001	DBLP DOI BibTeX RDF
44	Robin Abraham, Martin Erwig	Type inference for spreadsheets.	PPDP	2006	DBLP DOI BibTeX RDF	type inference, templates, end-user software engineering
44	Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra	Scripting the type inference process.	ICFP	2003	DBLP DOI BibTeX RDF	domain-specific programming, constraints, type inference, directives, type errors
44	Hiroshi Unno 0001, Naoki Kobayashi 0001	Dependent type inference with interpolants.	PPDP	2009	DBLP DOI BibTeX RDF	type inference, dependent types
44	Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
44	Matthias Neubauer, Peter Thiemann 0001	Discriminative sum types locate the source of type errors.	ICFP	2003	DBLP DOI BibTeX RDF	polymorphism, type inference, type errors
43	You-Chin Fuh, Prateek Mishra	Type Inference with Subtypes.	ESOP	1988	DBLP DOI BibTeX RDF
43	Daan Leijen	HMF: simple type inference for first-class polymorphism.	ICFP	2008	DBLP DOI BibTeX RDF	first-class polymorphism, type inference
43	Swaroop Sridhar, Jonathan S. Shapiro	Type inference for unboxed types and first class mutability.	PLOS	2006	DBLP DOI BibTeX RDF	BitC, polymorphism, type inference, mutability
43	Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August	Facilitating reuse in hardware models with enhanced type inference.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	component overloading, polymorphism, type inference, component reuse, liberty simulation environment (LSE)
43	Benjamin C. Pierce, David N. Turner	Local type inference.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	polymorphism, type inference, subtyping
43	A. J. Kfoury, Santiago M. Pericás-Geertsen	Type Inference for Recursive Definitions.	LICS	1999	DBLP DOI BibTeX RDF	type systems, type inference, lambda calculus, unification, software specification
42	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	Boxy types: inference for higher-rank types and impredicativity.	ICFP	2006	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
41	Henning Makholm, J. B. Wells	Type inference, principal typings, and let-polymorphism for first-class mixin modules.	ICFP	2005	DBLP DOI BibTeX RDF	mixin modules, record concatenation, row unification, type systems, polymorphism
41	Oukseh Lee, Kwangkeun Yi	Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type inference algorithm, type error
40	Meng Wang 0002, Kung Chen, Siau-Cheng Khoo	Type-directed weaving of aspects for higher-order functional languages.	PEPM	2006	DBLP DOI BibTeX RDF	type inference, functional language, aspect oriented, higher-order, weaving
39	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Concrete Type-Inference in the Presence of Exceptions.	ESOP	1998	DBLP DOI BibTeX RDF
39	H. Azzoune	Type Inference in Prolog.	CADE	1988	DBLP DOI BibTeX RDF	Prolog, Type, Type Inference
39	Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey	Principal Type Inference for GHC-Style Multi-parameter Type Classes.	APLAS	2006	DBLP DOI BibTeX RDF
38	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
38	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
37	Lajos Nagy, Ryan Stansifer	Polymorphic type inference for the relational algebra in the functional database programming language neon.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
37	Cormac Flanagan, Stephen N. Freund	Type Inference Against Races.	SAS	2004	DBLP DOI BibTeX RDF
36	Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells	Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).	ICFP	1999	DBLP DOI BibTeX RDF
36	Alain Frisch	OCaml + XDuce.	ICFP	2006	DBLP DOI BibTeX RDF	CDuce, XDuce, regular expression types, XML, type inference, OCaml
35	Zhenyue Deng, Geoffrey Smith 0001	Type inference and informative error reporting for secure information flow.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
35	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
34	Yasunori Ishihara, Yumi Shimakawa, Toru Fujiwara	Type Inferability and Decidability of the Security Problem Against Inference Attacks on Object-Oriented Databases.	ICICS	2004	DBLP DOI BibTeX RDF
34	R. Ghosh-Roy	An Extended Type Generalization of Standard ML Polymorphism (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	ML
34	Ranjit Jhala, Rupak Majumdar	Bit level types for high level reasoning.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, type inference, bit vectors
34	Martin Odersky, Christoph Zenger 0002, Matthias Zenger	Colored local type inference.	POPL	2001	DBLP DOI BibTeX RDF
34	Albrecht Fortenbacher	Efficient Type Inference and Coercion in Computer Algebra.	DISCO	1990	DBLP DOI BibTeX RDF
34	Kenji Horiuchi, Tadashi Kanamori	Polymorphic Type Inference in Prolog by Abstract Interpretation.	LP	1987	DBLP DOI BibTeX RDF
33	Chris Hankin, Daniel Le Métayer	Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis.	POPL	1994	DBLP DOI BibTeX RDF
33	Hans-Juergen Boehm	Type Inference in the Presence of Type Abstraction.	PLDI	1989	DBLP DOI BibTeX RDF
32	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
32	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	evidence translation, Constraints, type inference, coherence, overloading, type classes
32	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPoPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
32	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ICFP	2003	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
32	Atsushi Ohori, Kiyoshi Yamatodani	An interoperable calculus for external object access.	ICFP	2002	DBLP DOI BibTeX RDF	record polymorphism, Java, interoperability, ML, type inference, object-oriented language
32	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
32	Tobias Lindahl, Konstantinos Sagonas	TypEr: a type annotator of Erlang code.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, principal typings, constraint-based type inference
32	Manish Vachharajani, Neil Vachharajani, David I. August	The liberty structural specification language: a high-level modeling language for component reuse.	PLDI	2004	DBLP DOI BibTeX RDF	Liberty Structural Specification (LSS), simulator construction, use-based specialization, type inference, component reuse, structural modeling, Liberty Simulation Environment (LSE)
32	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Context Inference for Static Analysis of Java Card Object Sharing.	E-smart	2001	DBLP DOI BibTeX RDF	security, static analysis, objects, type inference, Java Card
32	Ryan Stansifer	Type Inference with Subtypes.	POPL	1988	DBLP DOI BibTeX RDF
32	Daan Leijen	Flexible types: robust type inference for first-class polymorphism.	POPL	2009	DBLP DOI BibTeX RDF	first-class polymorphism, system f, mlf
32	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
32	Jens Palsberg, Tian Zhao 0002	Efficient Type Inference for Record Concatenation and Subtyping.	LICS	2002	DBLP DOI BibTeX RDF
32	Hans Leiß	On Type Inference for Object-Oriented Programming Languages.	CSL	1987	DBLP DOI BibTeX RDF
31	J. Gregory Morrisett	Analysis issues for cyclone.	PASTE	2002	DBLP DOI BibTeX RDF
30	Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala	Type-based data structure verification.	PLDI	2009	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
30	Peter Thiemann 0001	Grammar-based analysis of string expressions.	TLDI	2005	DBLP DOI BibTeX RDF	string expression analysis, constraints, type inference
30	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
30	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
30	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	FPH: first-class polymorphism for Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
30	Satish Thatte	Type Inference with Partial Types.	ICALP	1988	DBLP DOI BibTeX RDF
30	Tiejun Wang, Scott F. Smith 0001	Precise Constraint-Based Type Inference for Java.	ECOOP	2001	DBLP DOI BibTeX RDF
30	Aleksy Schubert	Type Inference for First-Order Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
30	My Hoang, John C. Mitchell	Lower Bounds on Type Inference with Subtypes.	POPL	1995	DBLP DOI BibTeX RDF
29	Naoki Kobayashi 0001	A New Type System for Deadlock-Free Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
29	Henry G. Baker	Unify and Conquer.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
29	Dominic Duggan	Finite Subtype Inference with Explicit Polymorphism.	SAS	1998	DBLP DOI BibTeX RDF
28	Matthias Neubauer, Peter Thiemann 0001	Type classes with more higher-order polymorphism.	ICFP	2002	DBLP DOI BibTeX RDF	higher-order unification, Haskell, type inference, type classes
28	Andrew Kennedy	Types for units-of-measure in f#: invited talk.	ML	2008	DBLP DOI BibTeX RDF	dimension types, polymorphic type inference, ml
28	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
28	Tobias Kuipers, Leon Moonen	Types and Concept Analysis for Legacy Systems.	IWPC	2000	DBLP DOI BibTeX RDF	software maintenance, program analysis, program understanding, type inference, concept analysis
28	Gregory F. Johnson, Janet A. Walz	A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference.	POPL	1986	DBLP DOI BibTeX RDF
28	Andreas Weber	Algorithms for Type Inference with Coercions.	ISSAC	1994	DBLP DOI BibTeX RDF
28	Alex Kinneer, Gregg Rothermel	Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks.	ICSM	2008	DBLP DOI BibTeX RDF