Search results for "type inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	Hiroshi Unno, Naoki Kobayashi	Dependent type inference with interpolants.	PPDP	2009	DBLP DOI BibTeX RDF	type inference, dependent types
3	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
3	Daan Leijen	HMF: simple type inference for first-class polymorphism.	ICFP	2008	DBLP DOI BibTeX RDF	first-class polymorphism, type inference
3	Daniel Smith, 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
3	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
3	Satish Chandra, 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
3	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
3	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
3	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
3	Robin Abraham, Martin Erwig	Type inference for spreadsheets.	PPDP	2006	DBLP DOI BibTeX RDF	type inference, templates, end-user software engineering
3	Tobias Lindahl, Konstantinos F. Sagonas	Practical type inference based on success typings.	PPDP	2006	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, constraint-based type inference
3	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
3	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
3	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
3	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)
3	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
3	Benjamin C. Pierce, David N. Turner	Local type inference.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	polymorphism, type inference, subtyping
3	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
3	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
3	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
3	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
3	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
3	H. Azzoune	Type Inference in Prolog.	CADE	1988	DBLP DOI BibTeX RDF	Prolog, Type, Type Inference
2	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
2	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
2	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
2	Daan Leijen	Flexible types: robust type inference for first-class polymorphism.	POPL	2009	DBLP DOI BibTeX RDF	first-class polymorphism, system f, mlf
2	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
2	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
2	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
2	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
2	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
2	Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni	Efficient local type inference.	OOPSLA	2008	DBLP DOI BibTeX RDF	program analysis, type inference
2	Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith	Sound and Complete Type Inference for a Systems Programming Language.	APLAS	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	Andrew Kennedy	Types for units-of-measure in f#: invited talk.	ML	2008	DBLP DOI BibTeX RDF	dimension types, polymorphic type inference, ml
2	Barthélémy Dagenais, Laurie J. Hendren	Enabling static analysis for partial java programs.	OOPSLA	2008	DBLP DOI BibTeX RDF	partial programs, java, type inference
2	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
2	Martin Plümicke	Intersection types in Java.	PPPJ	2008	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
2	Daniel S. Dantas, David Walker, 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
2	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
2	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	An Inference Algorithm for Guaranteeing Safe Destruction.	LOPSTR	2008	DBLP DOI BibTeX RDF	type-based analysis, memory management, type inference
2	Jan Van den Bussche, Stijn Vansummeren	Polymorphic type inference for the named nested relational calculus.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	named nested relational calculus, typability, complexity, Type inference
2	José M. Claver, G. León	High Level Power Optimization by Type Inference on the Generation of Application Specific Circuits on FPGAs.	FPL	2007	DBLP DOI BibTeX RDF
2	Deepak Mathaikutty, Sandeep K. Shukla	Type Inference for IP Composition.	MEMOCODE	2007	DBLP DOI BibTeX RDF
2	Marina Polishchuk, Ben Liblit, Chloë W. Schulze	Dynamic heap type inference for program understanding and debugging.	POPL	2007	DBLP DOI BibTeX RDF	dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
2	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
2	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
2	Scott F. Smith, Mark Thober	Improving usability of information flow security in java.	PLAS	2007	DBLP DOI BibTeX RDF	java, security policies, type inference, declassification, information flow security
2	Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
2	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
2	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
2	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
2	Paolo Coppola, Simone Martini	Optimizing optimal reduction: A type inference algorithm for elementary affine logic.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	lamping algorithm, optimal reduction, Linear logic
2	Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient type inference for secure information flow.	PLAS	2006	DBLP DOI BibTeX RDF	security, algorithm, information flow, time complexity, type inference
2	Zhenyue Deng, Geoffrey Smith	Type inference and informative error reporting for secure information flow.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
2	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
2	François Pottier, Yann Régis-Gianas	Stratified type inference for generalized algebraic data types.	POPL	2006	DBLP DOI BibTeX RDF
2	François Fages, Sylvain Soliman	Type Inference in Systems Biology.	CMSB	2006	DBLP DOI BibTeX RDF
2	Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey	Principal Type Inference for GHC-Style Multi-parameter Type Classes.	APLAS	2006	DBLP DOI BibTeX RDF
2	Donghong Qin, Zhi Li	Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference.	QSIC	2006	DBLP DOI BibTeX RDF
2	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
2	David Fisher, Olin Shivers	Static analysis for syntax objects.	ICFP	2006	DBLP DOI BibTeX RDF	extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros
2	Alain Frisch	OCaml + XDuce.	ICFP	2006	DBLP DOI BibTeX RDF	CDuce, XDuce, regular expression types, XML, type inference, OCaml
2	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
2	Armin Rigo, Samuele Pedroni	PyPy's approach to virtual machine construction.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	metacircularity, retargettable code generation, virtual machine, type inference, Python
2	Meng Wang, 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
2	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno	A polymorphic modal type system for lisp-like multi-staged languages.	POPL	2006	DBLP DOI BibTeX RDF	let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
2	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
2	Ranjit Jhala, Rupak Majumdar	Bit level types for high level reasoning.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, type inference, bit vectors
2	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
2	François Pottier	From ML type inference to stratified type inference.	ICFP	2005	DBLP DOI BibTeX RDF
2	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
2	Tobias Lindahl, Konstantinos F. 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
2	Daniel S. Dantas, David Walker, 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
2	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
2	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
2	Peter Thiemann	Grammar-based analysis of string expressions.	TLDI	2005	DBLP DOI BibTeX RDF	string expression analysis, constraints, type inference
2	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
2	Cormac Flanagan, Stephen N. Freund	Type Inference Against Races.	SAS	2004	DBLP DOI BibTeX RDF
2	S. Alexander Spoon, Olin Shivers	Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.	ECOOP	2004	DBLP DOI BibTeX RDF
2	Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann	Sound and Decidable Type Inference for Functional Dependencies.	ESOP	2004	DBLP DOI BibTeX RDF
2	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
2	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)
2	Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine	Trading-Off Type-Inference Memory Complexity against Communication.	ICICS	2003	DBLP DOI BibTeX RDF
2	Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn	Type Inference for Nested Self Types.	TYPES	2003	DBLP DOI BibTeX RDF
2	David A. McAllester	Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference.	RTA	2003	DBLP DOI BibTeX RDF
2	Vincent Simonet	Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.	APLAS	2003	DBLP DOI BibTeX RDF
2	Cédric Lhoussaine	Type Inference for a Distributed pi-Calculus.	ESOP	2003	DBLP DOI BibTeX RDF
2	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
2	Matthias Neubauer, Peter Thiemann	Discriminative sum types locate the source of type errors.	ICFP	2003	DBLP DOI BibTeX RDF	polymorphism, type inference, type errors
2	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
2	Sara Bouchenak, Daniel Hagimont, Noel De Palma	Efficient Java thread serialization.	PPPJ	2003	DBLP DOI BibTeX RDF	dynamic de-optimization, persistence K2checkpoint/restart, performance, mobility, JVM, threads, type inference
2	David Naccache, Alexei Tchoulkine, Christophe Tymen, Elena Trichina	Reducing the Memory Complexity of Type-Inference Algorithms.	ICICS	2002	DBLP DOI BibTeX RDF
2	Alexander V. Shafarenko	Coercion as homomorphism: type inference in a system with subtyping and overloading.	PPDP	2002	DBLP DOI BibTeX RDF	type inference, subtyping, overloading, data-parallel programming, array processing
2	Morten Heine Sørensen, Jens P. Secher	From Type Inference to Configuration.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
2	Jens Palsberg, Tian Zhao	Efficient Type Inference for Record Concatenation and Subtyping.	LICS	2002	DBLP DOI BibTeX RDF