The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for typability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-1998 (16) 1999-2005 (15) 2006-2021 (17) 2022-2023 (2)
Publication types (Num. hits)
article(17) inproceedings(33)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 25 keywords

Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
85A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn An Analysis of ML Typability. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF acyclic semi-unification, semi-unification, ML
85Harry G. Mairson Deciding ML Typability is Complete for Deterministic Exponential Time. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF ML
85A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn ML Typability is DEXTIME-Complete. Search on Bibsonomy CAAP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
67Tachio Terauchi, Alex Aiken On Typability for Rank-2 Intersection Types with Polymorphic Recursion. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67Stijn Vansummeren On the complexity of deciding typability in the relational algebra. Search on Bibsonomy Acta Informatica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Assaf 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
56A. J. Kfoury, J. B. Wells A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ML
38Henning 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
38Ken-etsu Fujita, Aleksy Schubert Partially Typed Terms between Church-Style and Curry-Style. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Sophie Malecki Proofs in System Fomega Can Be Done in System Fomega1. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
31Jan Van den Bussche, Stijn Vansummeren Polymorphic type inference for the named nested relational calculus. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF named nested relational calculus, typability, complexity, Type inference
31Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren A crash course on database queries. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra
31Corrado Böhm Subduing Self-Application. Search on Bibsonomy ICALP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF combinatory and lambda-algebras, typability, strong normalizability, recursor, permutator, iterator, Self-application, recursive schemes
29Gilles Dowek The Undecidability of Typability in the Lambda-Pi-Calculus. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29M. Clarence Protin, Gilda Ferreira Typability and Type Inference in Atomic Polymorphism. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29M. Clarence Protin, Gilda Ferreira Typability and Type Inference in Atomic Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
29Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca Solvability = Typability + Inhabitation. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2021 DBLP  BibTeX  RDF
29Andrej Dudenhefner The Undecidability of System F Typability and Type Checking for Reductionists. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca Observability = Typability + Inhabitation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
29Andrej Dudenhefner, Jakob Rehof Typability in bounded dimension. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Paolo Pistone On Dinaturality, Typability and beta-eta-Stable Models. Search on Bibsonomy FSCD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Herman Geuvers, Robbert Krebbers The correctness of Newman's typability algorithm and some of its extensions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano Type checking and typability in domain-free lambda calculi. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29Inge Bethke, Piet Rodenburg Typability in Partial Applicative Structures. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29J. Roger Hindley M. H. Newman's Typability Algorithm for Lambda-calculus. Search on Bibsonomy J. Log. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Yuxin Deng, Davide Sangiorgi Ensuring termination by typability. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Yuxin Deng, Davide Sangiorgi Ensuring Termination by Typability. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29J. B. Wells Typability and Type Checking in System F are Equivalent and Undecidable. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn Alpha-Conversion and Typability. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Marcin Benke An Algebraic Characterization of Typability in ML with Subtyping. Search on Bibsonomy FoSSaCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Silvia Ghilezan Strong Normalization and Typability with Intersection Types. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
29J. B. Wells Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
29Gilles Dowek The Undecidability of Typability in the Lambda-Pi-Calculus. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Dennis M. Volpano, Geoffrey S. Smith On the Complexity of ML Typability with Overloading. Search on Bibsonomy FPCA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
19Ken-etsu Fujita, Aleksy Schubert Existential Type Systems with No Types in Terms. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Cédric Fournet, Tamara Rezk Cryptographically sound implementations for typed information-flow security. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
19James Cheney FLUX: functional updates for XML. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF update languages, XML, static analysis, type systems
19Simon J. Gay, Malcolm Hole Subtyping for session types in the pi calculus. Search on Bibsonomy Acta Informatica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Neal Glew, Jens Palsberg, Christian Grothoff Type-Safe Optimisation of Plugin Architectures. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Nobuko Yoshida Channel dependent types for higher-order mobile processes. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF the higher-order ?-calculus, access control, types, secrecy, mobile processes
19Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn Type Inference for Nested Self Types. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Sandra Alves, Mário Florido Linearization by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Neal Glew, Jens Palsberg Type-Safe Method Inlining. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Olaf Chitil Type Inference Builds a Short Cut to Deforestation. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Marcin Benke Predicative Polymorphic Subtyping. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Joëlle Despeyroux, Pierre Leleu A Modal Lambda Calculus with Iteration and Case Constructs. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Jeffrey M. Bell, Françoise Bellegarde, James Hook Type-Driven Defunctionalization. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Patrick Lincoln, John C. Mitchell Algorithmic Aspects of Type Inference with Subtypes. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
19Michael I. Schwartzbach Type Inference with Inequalities. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
19Hans Leiß Polymorphic Recursion and Semi-Unification. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license