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 (18) 1967-1968 (18) 1969-1971 (20) 1972-1973 (25) 1974 (27) 1975 (25) 1976 (49) 1977 (36) 1978 (49) 1979 (45) 1980 (79) 1981 (61) 1982 (72) 1983 (89) 1984 (113) 1985 (146) 1986 (105) 1987 (187) 1988 (202) 1989 (200) 1990 (288) 1991 (226) 1992 (271) 1993 (307) 1994 (350) 1995 (435) 1996 (380) 1997 (481) 1998 (583) 1999 (773) 2000 (1005) 2001 (1138) 2002 (1276) 2003 (1603) 2004 (2200) 2005 (2553) 2006 (2931) 2007 (3186) 2008 (3193) 2009 (2248) 2010 (680) 2011 (378) 2012 (398) 2013 (454) 2014 (478) 2015 (477) 2016 (515) 2017 (567) 2018 (609) 2019 (679) 2020 (686) 2021 (737) 2022 (758) 2023 (751) 2024 (150)
Publication types (Num. hits)
article(9551) book(30) data(5) incollection(332) inproceedings(25103) phdthesis(258) proceedings(63)
Venues (Conferences, Journals, ...)
CoRR(864) TYPES(371) HICSS(315) POPL(243) SIGMOD Conference(173) Remote. Sens.(160) ICFP(154) IEEE Trans. Pattern Anal. Mach...(131) SAC(130) IEEE Trans. Software Eng.(129) IEEE Trans. Image Process.(125) WSC(125) CHI(123) ECOOP(121) LICS(114) IROS(113) More (+10 of total 4881)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29071 occurrences of 10331 keywords

Results
Found 35342 publication records. Showing 35342 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
68Daniel Leivant Structural Semantics for Polymorphic Data Types. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
64Anton 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
59Paul 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
56Konstantin 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
52Witold 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
51Stefan 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
49Alan 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
48Pablo 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
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
44Alain 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
44Ki 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
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
43Tachio 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
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
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
43Yong Luo 0001, Zhaohui Luo Combining Incoherent Coercions for Sigma-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
42Erik 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
42Patrick 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
42Benoî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
41Allyn 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
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
41Peter Morris, Thorsten Altenkirch, Conor McBride Exploring the Regular Tree Types. Search on Bibsonomy TYPES The full citation details ... 2004 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
41Furio Honsell, Ivan Scagnetto Mobility Types in Coq. 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
40Riccardo 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
39Steffen 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
39Fábio Reis, Sandra Alves, Mário Florido Linear Rank Intersection Types. Search on Bibsonomy TYPES The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
39Yuta Takahashi Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus. Search on Bibsonomy TYPES The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Pietro Di Gianantonio, Marina Lenisa Principal Types as Lambda Nets. Search on Bibsonomy TYPES The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. Search on Bibsonomy TYPES The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Furio Honsell, Marina Lenisa, Ivan Scagnetto Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. Search on Bibsonomy TYPES The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
39Ulrich Berger 0001, Ralph Matthes, Anton Setzer Martin Hofmann's Case for Non-Strictly Positive Data Types. Search on Bibsonomy TYPES The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Simona 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
39Davide 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
39Benedikt 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
39Mario 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
39Yangyue Feng, Zhaohui Luo Typed Operational Semantics for Dependent Record Types Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Adam Grabowski Solving Two Problems in General Topology Via Types. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn Type Inference for Nested Self Types. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Qiao Haiyan Formalising Formulas-as-Types-as-Objects. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Jean Goubault-Larrecq Conjunctive Types and SKInT. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Cé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
39Alvaro 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
39Philippe Curmin First Order Marked Types. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39Eduardo 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
39Susumu Hayashi Logic of Refinement Types. Search on Bibsonomy TYPES The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39Jana 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
38Ralf 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
38Manuel 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
38Gilles 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
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
38Robert Cartwright Types as Intervals. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
37Camillo 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
37José 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
37Hongwei Xi Applied Type System: Extended Abstract. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Daniela Genius, Martin Trapp 0002, 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
37Peter Aczel On Relating Type Theories and Set Theories. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37DeLesley 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
36Kenneth L. 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
36Matthieu Sozeau Subset Coercions in Coq. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001 Weak Transitivity in Coercive Subtyping. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Andreas Abel 0001, Ralph Matthes (Co-)Iteration for Higher-Order Nested Datatypes. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Thierry Coquand, Makoto Takeyama An Implementation of Type: Type. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Christoph Beierle Types, Modules and Databases in the Logic Programming Language PROTOS-L. Search on Bibsonomy Sorts and Types in Artificial Intelligence The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
35Jana 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
35Vasco 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
34Lorenzo 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
34Javier 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
34Javier 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
34Dominique 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
34José Espírito Santo, Ralph Matthes, Luís Pinto 0001 Monadic Translation of Intuitionistic Sequent Calculus. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Jan Schwinghammer On Normalization by Evaluation for Object Calculi. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Claudio Sacerdoti Coen, Enrico Tassi Working with Mathematical Structures in Type Theory. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Agnieszka Kozubek, Pawel Urzyczyn In the Search of a Naive Type Theory. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Florian Haftmann, Makarius Wenzel Constructive Type Classes in Isabelle. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Milad 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
34Stefan Berghofer Extracting a Normalization Algorithm in Isabelle/HOL. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Ana Bove, Thierry Coquand Formalising Bitonic Sort in Type Theory. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Nicola Gambino, Martin Hyland Wellfounded Trees and Dependent Polynomial Functors. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Edwin C. 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
34Sylvain Baro Introduction to PAF!, a Proof Assistant for ML Programs Verification. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Ugo 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
34Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker 0001 A Concurrent Logical Framework: The Propositional Fragment. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Gueorgui I. Jojgov Holes with Binding Power. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Andreas 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
34Alberto Ciaffaglione, Pietro Di Gianantonio A Co-inductive Approach to Real Numbers. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Joë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
34Vincent Padovani Decidability of All Minimal Models. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Gilles Barthe Implicit Coercions in Type Systems. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Peter Dybjer Internal Type Theory. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Christine 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
34Gilles 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
34Martin Hofmann 0001 Conservativity of Equality Reflection over Intensional Type Theory. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Nikhil Swamy, Michael Hicks 0001 Verified enforcement of stateful information release policies. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
Displaying result #1 - #100 of 35342 (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 L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license