The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase type inference (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1986 (16) 1987-1988 (22) 1989-1990 (28) 1991 (22) 1992 (16) 1993 (19) 1994 (33) 1995 (17) 1996 (21) 1997 (20) 1998 (25) 1999 (21) 2000 (27) 2001 (28) 2002 (32) 2003 (34) 2004 (34) 2005 (54) 2006 (51) 2007 (46) 2008 (44) 2009 (22) 2010 (31) 2011-2012 (21) 2013-2014 (18) 2015 (20) 2016 (21) 2017-2018 (30) 2019 (4)
Publication types (Num. hits)
article(162) book(2) inproceedings(601) phdthesis(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 742 occurrences of 320 keywords

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