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
15Monique Snoeck, Guido Dedene Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking
15Sergei G. Vorobyov Subtyping Functional+Nonempty Record Types. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Fritz Henglein, Jakob Rehof The Complexity of Subtype Entailment for Simple Types. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
15Jean-Pierre Talpin Reactive Types. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Magnus Kempe Abstract Data Types are Under Full Control with Ada 9X. Search on Bibsonomy TRI-Ada The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Ada
15Giuseppe Longo Types as Parameters. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
15Kohei Honda 0001 Types for Dyadic Interaction. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
15M. Stella Atkins, M. Y. Coady Adaptable Concurrency Control for Atomic Data Types. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF concurrent access to shared data, hybrid locking, optimistic locking, pessimistic locking, transactions serializability
15Stefan Kaes Type Inference in the Presence of Overloading, Subtyping and Recursive Types. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
15Patrick O'Keefe, Mitchell Wand Type Inference for Partial Types is Decidable. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
15Michael Hanus Parametric Order-Sorted Types in Logic Programming. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
15William E. Weihl Linguistic Support for Atomic Data Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
15Stefan Näher, Kurt Mehlhorn LEDA: A Library of Efficient Data Types and Algorithms. Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
15William R. Cook Object-Oriented Programming Versus Abstract Data Types. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming
15Mikael Rittri Retrieving Library Identifiers via Equational Matching of Types. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
15Wolfgang Lux, Hermann Härtig, Winfried E. Kühnhauser On the Implementation of Abstract Data Types in BirliX. Search on Bibsonomy Process in Distributed Operating Systems and Distributed Systems Management The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
15Frank Pfenning, Christine Paulin-Mohring Inductively Defined Types in the Calculus of Constructions. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
15Atsushi Ohori Semantics of Types for Database Objects. Search on Bibsonomy ICDT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
15Daniel C. Halbert, Patrick D. O'Brien Using Types and Inheritance in Object-Oriented Languages. Search on Bibsonomy ECOOP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
15Jieh Hsiang, Mandayam K. Srivas A PROLOG Environment for Developing and Reasoning about Data Types. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
15Egidio Astesiano, Gerardo Costa Languages with Reducing Reflective Types. Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
15Alex Hubers, J. Garrett Morris Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Xiaomin Wu, Yong Wu, Qingying Li, Tao Dai 0006 How to react to hacker types and asset types in security decision-making. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Jiaxin Liu, Jue Ning, Xu Chen Evolution of Different Types of Eddies Originating from Different Baroclinic Instability Types. Search on Bibsonomy Remote. Sens. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Trung Thanh Nguyen 0004, Jörg Rothe Fair and efficient allocation with few agent types, few item types, or small value levels. Search on Bibsonomy Artif. Intell. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Alex Hubers, J. Garrett Morris Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Cas van der Rest, Casper Bach Poulsen Types and Semantics for Extensible Data Types (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Cas van der Rest, Casper Bach Poulsen Types and Semantics for Extensible Data Types. Search on Bibsonomy APLAS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Farzad Jafarrahmani Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek). Search on Bibsonomy 2023   RDF
15Santiago Bautista Static Analysis of Algebraic Data Types and Arrays. (Analyse Statique de Types Algébriques et de Tableaux). Search on Bibsonomy 2023   RDF
15Daniel Marshall 0001, Dominic Orchard Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. Search on Bibsonomy PLACES@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp Quotients, inductive types, and quotient inductive types. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Claudenir M. Fonseca, Giancarlo Guizzardi, João Paulo A. Almeida, Tiago Prince Sales, Daniele Porello Incorporating Types of Types in Ontology-Driven Conceptual Modeling. Search on Bibsonomy ER The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Jafar Abdollahi, Laya Mahmoudi An Artificial Intelligence System for Detecting the Types of the Epidemic from X-rays : Artificial Intelligence System for Detecting the Types of the Epidemic from X-rays. Search on Bibsonomy CSICC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Félicien Bourdin Modélisation macroscopique de mouvements de foule à deux types, modèles SIR condensés. (Macroscopic modeling of the motion of a crowd with two types, condensed SIR models). Search on Bibsonomy 2022   RDF
15William Babonnaud Sémantique lexicale, compositionnalité et coercions. Fondements théoriques des types sémantiques. (Lexical Semantics, compositionality and coercions. Theoretical foundations of semantic types). Search on Bibsonomy 2022   RDF
15Matthieu Nicolas Ré-identification sans coordination dans les types de données répliquées sans conflits (CRDTs). (Coordination-free re-identification in Conflict-free Replicated Data Types (CRDTs)). Search on Bibsonomy 2022   RDF
15Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp Quotients, inductive types, and quotient inductive types. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
15Ladislav Lhotka, Petr Spacek YANG Types for DNS Classes and Resource Record Types. Search on Bibsonomy RFC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Jeanine Krath, Harald F. O. von Korflesch Player Types and Game Element Preferences: Investigating the Relationship with the Gamification User Types HEXAD Scale. Search on Bibsonomy HCI (28) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Alexis Ghyselen Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus. (Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul). Search on Bibsonomy 2021   RDF
15Lucas Franceschino Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. (Verified Programming at the Intersection of Dependent Types and Static Analysis). Search on Bibsonomy 2021   RDF
15Dang Truong Mac On certain types of code-based signatures. (Sur certains types de signatures basée sur les codes correcteurs d'erreur). Search on Bibsonomy 2021   RDF
15Joe Phua, Seunga Venus Jin, Jihoon (Jay) Kim Pro-veganism on Instagram: Effects of user-generated content (UGC) types and content generator types in Instagram-based health marketing communication about veganism. Search on Bibsonomy Online Inf. Rev. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
15Simona Bonvicini, Margherita Maria Ferrari On the minimum number of bond-edge types and tile types: An approach by edge-colorings of graphs. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
15Dave Thaler, Dan Romascanu Guidelines and Registration Procedures for Interface Types and Tunnel Types. Search on Bibsonomy RFC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
15Trung Thanh Nguyen 0004, Jörg Rothe Approximate Pareto Set for Fair and Efficient Allocation: Few Agent Types or Few Resource Types. Search on Bibsonomy IJCAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
15Vitaly Romanov Evaluating importance of edge types when using graph neural network for predicting return types of Python functions. Search on Bibsonomy SPLASH (Companion) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
15Jakob von Raumer Higher inductive types, inductive families, and inductive-inductive types. Search on Bibsonomy 2020   RDF
15Federico Olimpieri Intersection Types and Resource Calculi in the Denotational Semantics of λ-Calculus. (Types intersection et calculs avec ressources dans la sémantique dénotationnelle du λ-calcul). Search on Bibsonomy 2020   RDF
15Guillaume Genestier Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting. (Terminaison en présence de types dépendants et encodage par réécriture d'une théorie des types extensionelle avec polymorphisme d'univers). Search on Bibsonomy 2020   RDF
15Francisco M. Couto, Martin Krallinger Report of the First International Workshop on Semantic Indexing and Information Retrieval for Health from heterogeneous content types and languages. Search on Bibsonomy SIIRH@ECIR The full citation details ... 2020 DBLP  BibTeX  RDF
15Simon Fowler 0001, Sam Lindley, J. Garrett Morris, Sára Decova Exceptional asynchronous session types: session types without tiers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Cheng-Li Liu, Kuo-Wei Su, Shiaw-Tsyr Uang The effects of layout types and spatial information display types on presence and spatial identification for the elderly in the 3D virtual art gallery. Search on Bibsonomy J. Ambient Intell. Humaniz. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Moon Kyeong Kim, Hee Youn Kim, Youn Ah Kang Influence of Gift-Giving in Social Network Games on Social Capital: Relationship Types, Gift-Giving Types, and the Big Five Factors of Personality. Search on Bibsonomy Int. J. Hum. Comput. Interact. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Iris Eshkol-Taravella, Mariame Maarouf, Marie Skrovec, Flora Badin Chunker différents types de discours oraux : défis pour l'apprentissage automatique (Chunking different spoken speech types : challenges for machine learning). Search on Bibsonomy PFIA (Articles courts) The full citation details ... 2019 DBLP  BibTeX  RDF
15Claude Stolze Combining union, intersection and dependent types in an explicitly typed lambda-calculus. (Types union, intersection, et dépendants dans le lambda-calcul explicitement typé). Search on Bibsonomy 2019   RDF
15Tommaso Petrucciani Polymorphic set-theoretic types for functional languages. (Types ensemblistes polymorphes pour les langages fonctionnels). Search on Bibsonomy 2019   RDF
15Jonathan Harth, Alexandra Hofmann, Mike Karst, David Kempf, Annelie Ostertag, Isabell Przemus, Bernhard Schaefermeyer Different Types of Users, Different Types of Immersion: A User Study of Interaction Design and Immersion in Consumer Virtual Reality. Search on Bibsonomy IEEE Consumer Electron. Mag. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Aghilas Sini, Elisabeth Delais-Roussarie, Damien Lolive Annotation automatique des types de discours dans des livres audio en vue d'une oralisation par un système de synthèse (Automatic annotation of discourse types in audio-books). Search on Bibsonomy CORIA-TALN-RJC (TALN 2) The full citation details ... 2018 DBLP  BibTeX  RDF
15Marie Nicholson The Complexity of Tukey Types and Cofinal Types. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Pierre Cagne Vers une algèbre homotopique des types dépendants. (Towards a homotopical algebra of dependent types). Search on Bibsonomy 2018   RDF
15Jim E. Newton Representing and computing with types in dynamically typed languages. (Représentation et calcul avec des types dans des langages à typage dynamique). Search on Bibsonomy 2018   RDF
15Pawel Parys Intersection Types for Unboundedness Problems. Search on Bibsonomy DCM/ITRS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Gerhard Fink, Maurice Yolles Affect and cognition, part 2: affect types and mindset types. Search on Bibsonomy Kybernetes The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Philip Wadler Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday. Search on Bibsonomy J. Univers. Comput. Sci. The full citation details ... 2017 DBLP  BibTeX  RDF
15Sumedha Chauhan, Mahadeo Jaiswal A meta-analysis of e-health applications acceptance: Moderating impact of user types and e-health application types. Search on Bibsonomy J. Enterp. Inf. Manag. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Dahyun Kang, Sonya S. Kwak Feel Me If You Can: The Effect of Robot Types and Robot's Tactility Types on Users' Perception toward a Robot. Search on Bibsonomy HRI (Companion) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Vincenzo Mastandrea Analysis of synchronisation patterns in active object based on behavioural types. (Analyse de synchronisation dans les objets actifs basée sur les types comportementaux). Search on Bibsonomy 2017   RDF
15Daniel Wand Superposition: Types and Induction. (Superposition : types et induction). Search on Bibsonomy 2017   RDF
15Alice Pavaux Inductive, Functional and Non-Linear Types in Ludics. (Types inductifs, fonctionnels et non-linéaires en ludique). Search on Bibsonomy 2017   RDF
15P. Radha Krishna 0001, Anushree Khandekar, Kamalakar Karlapalem Modeling dynamic relationship types for subsets of entity type instances and across entity types. Search on Bibsonomy Inf. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Eun Go, Kyung Han You, Eunhwa Jung, Hongjin Shim Why do we use different types of websites and assign them different levels of credibility? Structural relations among users' motives, types of websites, information credibility, and trust in the press. Search on Bibsonomy Comput. Hum. Behav. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Hyun Ji Jeong, Kim Taeyeon, Myoung-Ho Kim Link Prediction by Utilizing Correlations Between Link Types and Path Types in Heterogeneous Information Networks. Search on Bibsonomy DMBD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Pawel Parys Intersection Types and Counting. Search on Bibsonomy ITRS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Steffen van Bakel Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. Search on Bibsonomy ITRS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Cosku Acay, Frank Pfenning Intersections and Unions of Session Types. Search on Bibsonomy ITRS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi Retractions in Intersection Types. Search on Bibsonomy ITRS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Simone Martini 0001 Several types of types in programming languages. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
15Simone Martini 0001 Several Types of Types in Programming Languages. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Jung-Ju Choi, Sonya S. Kwak The Effect of Robot Appearance Types and Task Types on Service Evaluation of a Robot. Search on Bibsonomy HRI (Extended Abstracts) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Jung-Ju Choi, Sonya S. Kwak The Effect of Robot Appearance Types and Task Types on Service Evaluation of a Robot. Search on Bibsonomy HRI (Extended Abstracts) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Marek Zawirski Dependable eventual consistency with replicated data types. (Cohérence à terme fiable avec des types de données répliquées). Search on Bibsonomy 2015   RDF
15Mehdi Ahmed-Nacer Méthodologie d'évaluation pour les types de données répliqués. (Evaluation methodology for replicated data types). Search on Bibsonomy 2015   RDF
15Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl Type Inference for Session Types in the π-calculus. Search on Bibsonomy WS-FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Simon J. Gay, Nils Gesbert, António Ravara Session Types as Generic Process Types. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Nader Hanna, Deborah Richards 0001, Michael J. Jacobson Academic Performance in a 3D Virtual Learning Environment: Different Learning Types vs. Different Class Types. Search on Bibsonomy PKAW The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Naoki Kobayashi 0001 From Linear Types to Behavioural Types and Model Checking. Search on Bibsonomy Concurrent Objects and Beyond The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Patrick Bahr Composing and decomposing data types: a closed type families implementation of data types à la carte. Search on Bibsonomy WGP@ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Hyewon Lee, Jung-Ju Choi, Sonya S. Kwak Will you follow the robot's advice?: the impact of robot types and task types on people's perception of a robot. Search on Bibsonomy HAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Alexis Bernadet Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. (Non idempotent-intersection types to refine strong normalisation with quantitative information). Search on Bibsonomy 2014   RDF
15Mário Pereira, Sandra Alves, Mário Florido Liquid Intersection Types. Search on Bibsonomy ITRS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi On Isomorphism of "Functional" Intersection and Union Types. Search on Bibsonomy ITRS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Kentaro Kikuchi Uniform Proofs of Normalisation and Approximation for Intersection Types. Search on Bibsonomy ITRS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Ornela Dardha Recursive Session Types Revisited. Search on Bibsonomy BEAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Rick Statman A Finite Model Property for Intersection Types. Search on Bibsonomy ITRS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro Typing Classes and Mixins with Intersection Types. Search on Bibsonomy ITRS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Jeongbong Seo, Sungwoo Park Judgmental subtyping systems with intersection types and modal types. Search on Bibsonomy Acta Informatica The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Michael Hoppe, Stefan Hanenberg Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Hyeonseung Im, Keiko Nakata 0001, Sungwoo Park Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. Search on Bibsonomy ICALP (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #901 - #1000 of 35342 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][>>]
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