The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1938-1960 (17) 1961-1964 (15) 1965-1966 (16) 1967-1968 (17) 1969-1971 (16) 1972-1973 (25) 1974 (26) 1975 (21) 1976 (47) 1977 (32) 1978 (47) 1979 (43) 1980 (76) 1981 (55) 1982 (70) 1983 (85) 1984 (111) 1985 (144) 1986 (102) 1987 (182) 1988 (190) 1989 (203) 1990 (284) 1991 (219) 1992 (266) 1993 (305) 1994 (346) 1995 (429) 1996 (375) 1997 (476) 1998 (577) 1999 (771) 2000 (1007) 2001 (1118) 2002 (1261) 2003 (1591) 2004 (2176) 2005 (2528) 2006 (2927) 2007 (3185) 2008 (3182) 2009 (2244) 2010 (671) 2011 (361) 2012 (391) 2013 (443) 2014 (458) 2015 (447) 2016 (496) 2017 (531) 2018 (535) 2019 (108)
Publication types (Num. hits)
article(7363) book(25) incollection(290) inproceedings(23368) phdthesis(150) proceedings(52)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29085 occurrences of 10333 keywords

Results
Found 31248 publication records. Showing 31248 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
80Daniel Leivant Structural Semantics for Polymorphic Data Types. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
65Anton Setzer Java as a Functional Programming Language. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
60Paul Callaghan, Zhaohui Luo Implementation Techniques for Inductive Types in Plastic. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF inductive types, LF implementation, type theory
59Konstantin 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
55Witold Charatonik Directional Type Checking for Logic Programs: Beyond Discriminative Types. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF types in logic programming, directional types, tree automata, regular types
52Stefan Monnier, David Haguenauer Singleton types here, singleton types there, singleton types everywhere. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, certified compilation, singleton types
51Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst Converting java programs to use generic libraries. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
50Pablo Nogueira Context-parametric polykinded types. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming
47Hongwei Xi Attributive Types for Proof Erasure. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Tachio 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
46Alain Frisch, Giuseppe Castagna, Véronique Benzaken Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Search on Bibsonomy J. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF negation types, Subtyping, higher-order functions, intersection types, union types
46Ki Yung Ahn, Tim Sheard Shared subtypes: subtyping recursive parametrized algebraic data types. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
45Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Laurent Chicli, Loic Pottier, Carlos Simpson Mathematical Quotients and Quotient Types in Coq. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Andreas Abel 0001, Thorsten Altenkirch A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Patrick 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
44Yves Bertot, Ekaterina Komendantskaya Using Structural Recursion for Corecursion. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq
44Robert Cartwright Types as Intervals. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
43Robert Atkey CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Maribel Fernández, Murdoch Gabbay Curry-Style Types for Nominal Terms. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphism, type inference, rewriting, binding
43Yong Luo, Zhaohui Luo Combining Incoherent Coercions for Sigma-Types. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Sergei Soloviev 0001, David Chemouil Some Algebraic Structures in Lambda-Calculus with Inductive Types. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Tarmo Uustalu Monad Translating Inductive and Coinductive Types. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Benoît Montagu, Didier Rémy Modeling abstract types in modules with open existential types. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
42Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine Program Representation Size in an Intermediate Language with Intersection and Union Types. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Riccardo Pucella, Jesse A. Tov Haskell session types with (almost) no class. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF embedded type systems, phantom types, concurrency, functional programming, haskell, type classes, session types
41Erik Ernst First-Class Object Sets. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Object sets, multi-object method calls, composition, types
41Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider 0001, Michalis Vazirgiannis A foundation for representing and querying moving objects. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF moving point, moving region, spatio-temporal data types, moving objects, abstract data types, algebra, spatio-temporal databases
41Peter Morris, Thorsten Altenkirch, Conor McBride Exploring the Regular Tree Types. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Robin Adams 0001 Formalized Metatheory with Terms Represented by an Indexed Family of Types. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Furio Honsell, Ivan Scagnetto Mobility Types in Coq. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Silvia Ghilezan, Pierre Lescanne Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Florian Kammüller Modular Structures as Dependent Types in Isabelle. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Joshua Dunfield Refined typechecking with Stardust. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type refinements, dependent types, intersection types, union types
40Steffen van Bakel, Franco Barbanera, Maribel Fernández Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
40Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow Associated types with class. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes
40Gilles Barthe, Tarmo Uustalu CPS translating inductive and coinductive types. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations
38Simona Ronchi Della Rocca Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
38Davide Ancona, Paola Giannini, Elena Zucca Constrained Polymorphic Types for a Calculus with Name Variables. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
38Benedikt Ahrens, Régis Spadotti Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
38Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi Isomorphism of "Functional" Intersection Types. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
38Yangyue Feng, Zhaohui Luo Typed Operational Semantics for Dependent Record Types Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Adam Grabowski Solving Two Problems in General Topology Via Types. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn Type Inference for Nested Self Types. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Qiao Haiyan Formalising Formulas-as-Types-as-Objects. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Jean Goubault-Larrecq Conjunctive Types and SKInT. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Alvaro Tasistro Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping. Search on Bibsonomy TYPES The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38César A. Muñoz Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. Search on Bibsonomy TYPES The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Eduardo Giménez 0001 An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
38Philippe Curmin First Order Marked Types. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
38Susumu Hayashi Logic of Refinement Types. Search on Bibsonomy TYPES The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay Session Types for Functional Multithreading. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF static typechecking, specification of communication protocols, concurrent programming, Session types
38Fernando Berzal, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda Fuzzy Types: A First Step Towards Lazy Types in the .NET Framework. Search on Bibsonomy Fuzzy Days The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fuzzy types, lazy types, object-orientation
38DeLesley Hutchins Eliminating distinctions of class: using prototypes to model virtual classes. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types
38Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi Towards a Type Discipline for Answer Set Programming. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF many sorted interpretation, type checking, Answer set programming, grounding
38José Espírito Santo, Silvia Ghilezan, Jelena Ivetic Characterising Strongly Normalising Intuitionistic Sequent Terms. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Hongwei Xi Applied Type System: Extended Abstract. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Daniela Genius, Martin Trapp, Wolf Zimmermann An Approach to Improve Locality Using Sandwich Types. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Peter Aczel On Relating Type Theories and Set Theories. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Kenneth Knowles, Cormac Flanagan Compositional reasoning and decidable checking for dependent contract types. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF refinement types, abstraction, dependent types, compositional reasoning
37Norihisa Suzuki Inferring Types in Smalltalk. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
36Kathleen Fisher Typing ad hoc data. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ad hoc data, domain-specific languages, dependent types, data description languages
36Joshua Dunfield, Frank Pfenning Tridirectional typechecking. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF type refinements, dependent types, intersection types, union types
35Matthieu Sozeau Subset Coercions in Coq. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Andreas Abel 0001, Ralph Matthes (Co-)Iteration for Higher-Order Nested Datatypes. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Yong Luo, Zhaohui Luo, Sergei Soloviev 0001 Weak Transitivity in Coercive Subtyping. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Thierry Coquand, Makoto Takeyama An Implementation of Type: Type. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri Session and Union Types for Object Oriented Programming. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Object Oriented Programming, Sessions, Union Types, Session Types
35Javier Miranda, Edmond Schonberg Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. Search on Bibsonomy Ada-Europe The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Abstract Interface Types, Tagged Types, Discriminants, Ada 2005, GNAT
35Javier Miranda, Edmond Schonberg, Gary Dismukes The Implementation of Ada 2005 Interface Types in the GNAT Compiler. Search on Bibsonomy Ada-Europe The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Abstract Interface Types, Tagged Types, Ada 2005, GNAT
35Dominique Colnet, Luigi Liquori Match-O, A Dialect of Eiffel with Match-Types. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
34Ole 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
34Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala Liquid types. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hindley-milner, type inference, dependent types, predicate abstraction
34David Aspinall 0001 Subtyping with Power Types. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF subtyping, type theory, dependent types
34Nikhil Swamy, Michael Hicks 0001 Verified enforcement of stateful information release policies. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
34Daniel 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
33José Espírito Santo, Ralph Matthes, Luís Pinto Monadic Translation of Intuitionistic Sequent Calculus. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Claudio Sacerdoti Coen, Enrico Tassi Working with Mathematical Structures in Type Theory. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Agnieszka Kozubek, Pawel Urzyczyn In the Search of a Naive Type Theory. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Jan Schwinghammer On Normalization by Evaluation for Object Calculi. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Florian Haftmann, Makarius Wenzel Constructive Type Classes in Isabelle. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Milad Niqui Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Ana Bove, Thierry Coquand Formalising Bitonic Sort in Type Theory. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Stefan Berghofer Extracting a Normalization Algorithm in Isabelle/HOL. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Sylvain Baro Introduction to PAF!, a Proof Assistant for ML Programs Verification. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Ugo Dal Lago, Simone Martini 0001, Luca Roversi Higher-Order Linear Ramified Recurrence. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker A Concurrent Logical Framework: The Propositional Fragment. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Nicola Gambino, Martin Hyland Wellfounded Trees and Dependent Polynomial Functors. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Edwin Brady, Conor McBride, James McKinna Inductive Families Need Not Store Their Indices. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Gueorgui I. Jojgov Holes with Binding Power. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Andreas Abel 0001 Specification and Verification of a Formal System for Structurally Recursive Functions. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Alberto Ciaffaglione, Pietro Di Gianantonio A Co-inductive Approach to Real Numbers. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Joë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
33Christine Paulin-Mohring Circuits as Streams in Coq: Verification of a Sequential Multiplier. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Vincent Padovani Decidability of All Minimal Models. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Gilles Barthe, Mark Ruys, Henk Barendregt A Two-Level Approach Towards Lean Proof-Checking. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Martin Hofmann 0001 Conservativity of Equality Reflection over Intensional Type Theory. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Gilles Barthe Implicit Coercions in Type Systems. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Peter Dybjer Internal Type Theory. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Andreas Rossberg Generativity and dynamic opacity for abstract types. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
Displaying result #1 - #100 of 31248 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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