|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 742 occurrences of 320 keywords
|
|
|
Results
Found 902 publication records. Showing 902 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 902 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|