|
|
Venues (Conferences, Journals, ...)
|
|
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 |
24 | Stanley B. Zdonik, Peter Wegner |
Language and Methodology for Object-Oriented Database Environments. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi |
The Type System of Galileo. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | |
References |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | W. Paul Cockshott |
Addressing Mechanisms and Persistent Programming. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | |
Preface |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | Gilles Kahn, David B. MacQueen, Gordon D. Plotkin (eds.) |
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Peter D. Mosses |
A Basic Abstract Semantic Algebra. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | John C. Reynolds |
Polymorphism is not Set-Theoretic. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Peter Padawitz |
Towards a Proof Theory of Parameterized Specifications. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Christopher T. Haynes |
A Theory of Data Type Representation Independence. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Luca Cardelli |
A Semantics of Multiple Inheritance. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Mariangiola Dezani-Ciancaglini, Ines Margaria |
F-Semantics for Intersection Type Discipline. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Kim B. Bruce, Albert R. Meyer |
The Semantics of Second Order Polymorphic Lambda Calculus. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Giuseppe Longo, Eugenio Moggi |
Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Glynn Winskel, Kim Guldstrand Larsen |
Using Information Systems to Solve Recursive Domain Equations Effectively. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | John Mitchell |
Type Inference and Type Containment. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Nancy McCracken |
The Typechecking of Programs with Implicit Type Structure. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Lawrence C. Paulson |
Deriving Structural Induction in LCF. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Fernando Orejas |
A Proof System for Verifying Composability of Abstract Implementations. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Donald Sannella, Andrzej Tarlecki |
Building Specifications in an Arbitrary Institution. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Thierry Despeyroux |
Executable Specification of Static Semantics. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | James G. Hook |
Understanding Russell- A First Attempt. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Frank van Harmelen, Annette ten Teije, Holger Wache |
Knowledge engineering rediscovered: towards reasoning patterns for the semantic web. |
K-CAP |
2009 |
DBLP DOI BibTeX RDF |
reasoning patterns, semantic web, knowledge engineering, task types, problem solving methods |
24 | Didier Rémy |
MLF for everyone (users, implementers, and designers). |
ML |
2007 |
DBLP DOI BibTeX RDF |
graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF |
24 | Derek Dreyer |
Recursive type generativity. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
generativity, type systems, recursion, abstract data types, effect systems, recursive modules |
24 | Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich |
Dependent types and program equivalence. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
dependent types, program equivalence |
24 | Kerstin Bischoff, Claudiu S. Firan, Cristina Kadar, Wolfgang Nejdl, Raluca Paiu |
Automatically Identifying Tag Types. |
ADMA |
2009 |
DBLP DOI BibTeX RDF |
tag types, classification, social media, collaborative tagging |
24 | Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble 0001, Jan Vitek, Tian Zhao |
Scoped types and aspects for real-time Java memory management. |
Real Time Syst. |
2007 |
DBLP DOI BibTeX RDF |
Real-time systems, Memory management, Java virtual machine, Ownership types |
24 | Sabine Broda, Luís Damas |
On Principal Types of BCK- lambda -Terms. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
condensed BCK-logic, Typed lambda-calculus, principal types |
24 | Francine Charest, François Bédard |
Identification of Six Socio-types of Internet Users and their Impact on the Interactivity of Tourism Websites. |
ENTER |
2007 |
DBLP DOI BibTeX RDF |
Internet user socio-types, appropriation theory, website design |
24 | Christopher A. Stone, Robert Harper 0001 |
Extensional equivalence and singleton types. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
equivalence algorithms, logical relations, Singleton types |
24 | Dan Grossman |
Quantified types in an imperative language. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
type variables, polymorphism, existential types, Cyclone |
24 | Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea |
A flow-based approach for variant parametric types. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
variant parametric types, constraints, genericity, subtyping, flow analysis |
24 | Andres Löh, Ralf Hinze |
Open data types and open functions. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem |
24 | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer |
Goal types in agent programming. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
agent types, agent programming languages, declarative goals |
24 | Fernando Berzal Galiano, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda |
Lazy Types: Automating Dynamic Strategy Selection. |
IEEE Softw. |
2005 |
DBLP DOI BibTeX RDF |
lazy types, metadata, reflection, polymorphism, strategies, adaptable code |
24 | Peter Møller Neergaard, Harry G. Mairson |
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
proofnet, complexity, type inference, normalization, intersection types, idempotence |
24 | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
Ownership types for safe region-based memory management in real-time Java. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
real-time, encapsulation, regions, ownership types |
24 | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard |
Ownership types for safe programming: preventing data races and deadlocks. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
deadlocks, encapsulation, data races, ownership types |
24 | Zhanzi Qiu, Matthias L. Hemmje, Erich J. Neuhold |
Using Link Types in Web Page Ranking and Filtering. |
WISE (1) |
2001 |
DBLP DOI BibTeX RDF |
search system, ranking, filtering, the Web, link types |
24 | Ulrich Berger 0001 |
Density Theorems for the Domains-with-Totality Semantics of Dependent Types. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
totality, dependent types, universes, domains, continuous functionals |
24 | Dimitur Nikolaev Krustev |
Software Test Generation Using Refinement Types. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
refinement types, process graphs, super-compilation, software testing, functional languages, automatic test generation |
24 | Ralf Hartmut Güting, Markus Schneider 0001 |
Realms: A Foundation for Spatial Data Types in Database Systems. |
SSD |
1993 |
DBLP DOI BibTeX RDF |
Spatial data types, realm, finite resolution, numerical robustness, topological correctness, geometric consistency, algebra |
23 | J. Ian Munro, Venkatesh Raman 0001 |
Succinct Representation of Balanced Parentheses, Static Trees and Planar Graphs. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
balanced parentheses, static trees, rooted ordered tree, planar graphs, abstract data types, abstract data types, binary tree, adjacency, succinct representation |
23 | Sergio Antoy, John D. Gannon |
Using Term Rewriting to Verify Software. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction |
23 | R. D. Purdy |
Knowledge and Tools in Building GRANDJUR 1.1. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Richard B. Kieburtz |
Precise Typing of Abstract Data Type Specifications. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
23 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Martin Plümicke |
Intersection types in Java. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
program design and implementation, code generation, type system, type inference, language design |
23 | Nicolas Oury |
Pattern matching coverage checking with dependent types using set approximations. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
coverage checking, set approximation, pattern matching |
23 | Hayo Thielecke |
Frame rules from answer types for code pointers. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
code pointers, polymorphism, continuations, Hoare logic, typed assembly language |
23 | Flemming Nielson, Hanne Riis Nielson |
Types from Control Flow Analysis. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Atsushi Igarashi, Mirko Viroli |
On Variance-Based Subtyping for Parametric Types. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Karl Crary |
Admissibility of Fixpoint Induction over Partial Types. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Gennaro Monteleone |
Generalized Conjunctive Types. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Kim B. Bruce, Jon G. Riecke |
The Semantics of Miranda's Algebraic Types. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Gengshen Du, Günther Ruhe |
Identification of question types and answer types for an explanation component in software release planning. |
K-CAP |
2005 |
DBLP DOI BibTeX RDF |
question answering, explanation, dialogue, release planning |
23 | Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp |
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types. |
ACM Trans. Comput. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp |
A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Gabriel Scherer |
Which types have a unique inhabitant? : Focusing on pure program equivalence. (Quels types ont un habitant unique ? / Quels types ont un habitant unique ? : Focalisons-nous sur l'équivalence de programmes). |
|
2016 |
RDF |
|
23 | Stefan Monnier, David Haguenauer |
Singleton types here, singleton types there, singleton types everywhere: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Frédéric Ruyer |
Preuves, types et sous-types. (Proof types and subtypes). |
|
2006 |
RDF |
|
23 | Flemming M. Damm |
Subtyping with Union Types, Intersection Types and Recursive Types. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Ed Voermans |
Pers as Types, Inductive Types and Types with Laws. |
Declarative Programming |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas Cameron 0001, Sophia Drossopoulou, James Noble 0001 |
Understanding Ownership Types with Dependent Types. |
Aliasing in Object-Oriented Programming |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Adam Chlipala |
Ur: statically-typed metaprogramming with type-level record computation. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
dependent types, metaprogramming |
22 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
22 | Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu |
Traceable data types for self-adjusting computation. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
traceable data types, self-adjusting computation |
22 | Lucia Acciai, Michele Boreale |
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
behavioural types, safety, decidability, pi-calculus, spatial logic |
22 | Vasco Thudichum Vasconcelos |
Session types for linear multithreaded functional programming. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
linear type systems, concurrency, functional programming, session types |
22 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
Foundations of session types. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
communication centered programming, semantic subtyping, testing equivalencies, concurrency, sessions types |
22 | German D. Valderrama-Gonzalez, T. Martin McGinnity, Liam P. Maguire, Qingxiang Wu |
Review of Neuron Types in the Retina: Information Models for Neuroengineering. |
ICANN (1) |
2009 |
DBLP DOI BibTeX RDF |
cell types, neuroengineering, artificial visual systems, computational neuroscience, Retina |
22 | Ulf Norell |
Dependently typed programming in Agda. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
programming, dependent types |
22 | Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff |
Constrained types for object-oriented languages. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
constraints, dependent types, object-oriented programming languages |
22 | Rebeca Schroeder 0001, Ronaldo dos Santos Mello |
Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
EER, generalization/specialization, XML schemas, union types |
22 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automating Algebraic Specifications of Non-freely Generated Data Types. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models |
22 | Matt Bower |
A taxonomy of task types in computing. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
computer science education, pedagogy, taxonomy, task types |
22 | Cristóbal Costa Soria, Jennifer Pérez, José A. Carsí |
Managing Dynamic Evolution of Architectural Types. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
architectural types, software architectures, reflection, AOSD, run-time adaptation, dynamic evolution |
22 | Iliano Cervesato, Mark-Oliver Stehr |
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Multiset rewriting, Specification, Security protocol, Dependent types |
22 | Hyun Sang Cho, Kyoung Shin Park, Yongkag Kim, Chang S. Kim, Minsoo Hahn |
Effects of Virtual Reality Display Types on the Brain Computer Interface System. |
HCI (6) |
2007 |
DBLP DOI BibTeX RDF |
Display Types, Virtual Reality, Brain Computer Interface, Immersion, Ubiquitous Computing Environment |
22 | Peter Müller 0001, Arsenii Rudich |
Ownership transfer in universe types. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
universe types, aliasing, uniqueness, ownership transfer |
22 | Cong-Cong Xing |
Enhancing program verifications by restricting object types. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
object types, OOP, program verification |
22 | Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine |
Associated types and constraint propagation for mainstream object-oriented generics. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C# |
22 | Giovanni Rimassa, Mirko Viroli |
Understanding access restriction of variant parametric types and Java wildcards. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
java wildcards, use-site variance, variant parametric types, subtyping, java generics |
22 | François Bry, Frank-André Rieß, Stephanie Spranger |
CaTTS: calendar types and constraints for Web applications. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
Web reasoning, time, types, calendars |
22 | Daan Leijen, Andres Löh |
Qualified types for MLF. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
higher-rank polymorphism, impredicativity, qualified types, MLF |
22 | Nadji Gauthier, François Pottier |
Numbering matters: first-order canonical forms for second-order recursive types. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
polymorphism, unification, equality, recursive types |
22 | Sébastien Carlier, J. B. Wells |
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
22 | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira |
Ownership types for object encapsulation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
object encapsulation, ownership types, software upgrades |
22 | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
Global abstraction-safe marshalling with hash types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling |
22 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap your boilerplate: a practical design pattern for generic programming. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
rank-2 types, type cast, generic programming, traversal |
22 | Oswin Aichholzer, Franz Aurenhammer, Hannes Krasser |
Enumerating Order Types for Small Point Sets with Applications. |
Order |
2002 |
DBLP DOI BibTeX RDF |
planar straight-line graphs, realizable matroids, computational geometry, order types |
22 | Silvio Valentini |
An elementary proof of strong normalization for intersection types. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Normalization, Lambda calculus, Intersection types |
22 | David G. Clarke, James Noble 0001, John Potter |
Simple Ownership Types for Object Containment. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
OO type systems, object containment, flexible alias protection, ownership types |
22 | Hongwei Xi |
Imperative Programming with Dependent Types. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
dependent types, programming language design, array bounds checking |
22 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Refining Logic Programs Using Types. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
logic programming, Refinement, types |
22 | Samson Abramsky, Marina Lenisa |
A Fully Complete PER Model for ML Polymorphic Types. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
ML-polymorphic types, PER models, full completeness, linear logic, Geometry of Interaction |
22 | F. Keith Hanna, Neil Daeche, Mark Longley |
Specification and Verification Using Dependent Types. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic |
22 | T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler |
A Theory of Abstract Data Types for Program Development: Bridging the Gap? |
TAPSOFT, Vol.2 |
1985 |
DBLP DOI BibTeX RDF |
axiomatic theories, incomplete specifications, parameterisation, conservative extension, namability, implementation, interpretation, abstract data types, program development, stepwise refinement |
21 | Matthew Danish, Hongwei Xi |
Operating system development with ATS: work in progress. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
linear types, operating systems, dependent types |
Displaying result #601 - #700 of 35342 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|