|
|
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 |
32 | Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager |
Proof-Checking a Data Link Protocol. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Savi Maharaj |
Encoding Z-style Schemas in Type Theory. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | L. S. van Benthem Jutting, James McKinna, Robert Pollack |
Checking Algorithms for Pure Type Systems. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Catherine Parent |
Developing Certified Programs in the System Coq - The Program Tactic. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Randy Pollack |
Closure Under Alpha-Conversion. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Marino Miculan |
The Expressive Power of Structural Operational Semantics with Explicit Assumptions. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Thorsten Altenkirch |
Proving Strong Normalization of CC by Modifying Realizability Semantics. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | François Leclerc, Christine Paulin-Mohring |
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Christophe Faffalli |
Machine Deduction. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Aarne Ranta |
Type Theory and the Informal Language of Mathematics. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Lena Magnusson, Bengt Nordström |
The ALF Proof Editor and Its Proof Engine. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Lee Naish |
Types and the Intended Meaning of Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
32 | Nevin Heintze, Joxan Jaffar |
Semantic Types for Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
32 | Frank Pfenning |
Dependent Types in Logic Programming. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
32 | Dean Jacobs |
A Pragmatic View of Types for Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
32 | Peter Buneman |
Data Types For Data Base Programming. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
32 | Malcolm P. Atkinson 0001, Ronald Morrison |
Types, Bindings and Parameters in a Persistent Environment. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
32 | William E. Weihl |
Linguistic Support for Atomic Data Types. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
32 | Peter Buneman |
Data Types For Database Programming. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
32 | Malcolm P. Atkinson 0001, Ronald Morrison |
Types, Bindings and Parameters in a Persistent Environment. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
32 | William E. Weihl |
Linguistic Support for Atomic Data Types. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
32 | Alexander Borgida |
Class Hierarchies in Information Systems: Sets, Types, or Prototypes? |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
32 | Rod M. Burstall, Butler W. Lampson |
A Kernel Language for Abstract Data Types and Modules. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
32 | Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi |
Abstract Data Types and Their Extensions within a Constructive Logic. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
32 | Samuel N. Kamin, Myla Archer |
Partial Implementations of Abstract Data Types: A Dissenting view on Errors. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
31 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Liquid types. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
31 | David Aspinall 0001 |
Subtyping with Power Types. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
subtyping, type theory, dependent types |
31 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Relational parametricity for references and recursive types. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics |
31 | Jerome Vouillon, Paul-André Melliès |
Semantic types: a fresh look at the ideal model for types. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types |
30 | Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg |
State-dependent representation independence. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
local state, representation independence, abstract data types, existential types, step-indexed logical relations |
30 | Noam Zeilberger |
Refinement types and computational duality. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
duality, effects, intersection types, focusing, union types |
30 | Yoav Zibin, Joseph Gil, Jeffrey Considine |
Efficient algorithms for isomorphisms of simple types. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature |
30 | Michael Marz |
An Algebraic View on Recursive Types. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
positive types, strong normalisation, calculus, recursive types, universal algebra |
30 | Luca Padovani |
Session Types = Intersection Types + Union Types |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Li Zhang |
Exploring the Relationship between Elementary School Climate, School Types and Faculty's Employment Types: School Climate, School Types and Employment Types. |
ICBDE |
2022 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 |
Stack-Based Typed Assembly Language. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira |
Modular session types for distributed object-oriented programming. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
non-uniform method availability, object-oriented calculus, typestates, session types |
29 | David Briggs, Suad Alagic |
Algebraic specification techniques for parametric types with logic-based constraints. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
parametric types, verification theories, assertions, PVS, JML |
29 | Daniel R. Licata, Robert Harper 0001 |
Positively dependent types. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
agda, dependent types, polarity |
29 | Hendrik Knoche, John D. McCarthy, Martina Angela Sasse |
How low can you go? The effect of low resolutions on shot types in mobile TV. |
Multim. Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
Shot types, Mobile TV, Low resolutions |
29 | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
Dynamic inference of abstract types. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units |
29 | Kim B. Bruce, Martin Odersky, Philip Wadler |
A Statically Safe Alternative to Virtual Types. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
virtual types, static type checking, Language design, parametric polymorphism |
29 | Barbara Staudt Lerner |
TESS: Automated Support for the Evolution of Persistent Types. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
TESS, Type Evolution Software System, persistent types, persistent data evolution, compound type changes, software maintenance, software maintenance |
29 | Didier Rémy, Boris Yakobowski |
A graphical presentation of MLF types with a linear-time unification algorithm. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
system SF, graphs, types, unification, binders, MLF |
28 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration |
28 | Maurice Herlihy, Eric Ruppert |
On the Existence of Booster Types. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
booster types, asynchronous concurrent models of computation, synchronization power, topological condition, solo-connectivity, deterministic one-shot types, distributed algorithms, synchronisation, upper bound, type theory, data type, concurrency theory, consensus number |
28 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Inference of Partial Types |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
partial types, heterogeneous lists, persistent data, exponential time algorithm, type inference, decidability, lambda -calculus, recursive types, finite automaton, type constraints |
27 | Kohei Honda 0001, Nobuko Yoshida, Marco Carbone |
Multiparty asynchronous session types. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
multiparty, communications, causality, choreography, structured programming, session types, mobile processes |
27 | Atsushi Igarashi, Mirko Viroli |
Variant path types for scalable extensibility. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
scalable extensibility, variant path types, subtyping, variance |
27 | Atsushi Igarashi, Hideshi Nagira |
Union types for object-oriented programming. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
java, subtyping, language design, language semantics, union types |
27 | Jens Palsberg, Tian Zhao 0002 |
Efficient and Flexible Matching of Recursive Types. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
Multi-language systems, algorithms, types |
27 | Lennart Augustsson |
Cayenne - a Language with Dependent Types. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
type systems, language design, dependent types, module systems |
27 | Ralf Hartmut Güting, Thomas de Ridder, Markus Schneider 0001 |
Implementation of the ROSE Algebra: Efficient Algorithms for Realm-Based Spatial Data Types. |
SSD |
1995 |
DBLP DOI BibTeX RDF |
Spatial data types, realm, finite resolution, numerical robustness, ROSE, algebra, efficient algorithms, plane sweep |
27 | Conor McBride |
What's the deal with dependent types? |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
epigram, pattern matching, dependent types |
27 | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
Boxy types: inference for higher-rank types and impredicativity. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
higher-rank types, impredicativity, type inference |
26 | DeLesley S. Hutchins |
Pure subtype systems. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types |
26 | Andreas Schramm |
An Index Domain for Adaptive Multi-grid Methods. |
VECPAR |
2000 |
DBLP DOI BibTeX RDF |
container types, structured-universe approach, indexable types, groups, Programming models, data parallelism, multi-grid |
26 | Nomusa Dlodlo, Carl Bamford |
Separating Application Functionality from the User Interface in a Distributed Environment. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Object Bequest Broker, user interface manager, user interface, Middleware, abstract data types, abstract data types, user interface management system, distributed environment, application functionality |
26 | Tobias Nipkow |
Formal Verification of Data Type Refinement - Theory and Practice. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types |
26 | Atsushi Igarashi, Mirko Viroli |
Variant parametric types: A flexible subtyping scheme for generics. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Generic classes, Java, subtyping, language design, variance, language semantics |
26 | Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich |
An open and shut typecase. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
intensional type analysis, generativity, reflexivity, ad-hoc polymorphism |
26 | Eric E. Allen, Robert Cartwright |
The case for run-time types in generic Java. |
PPPJ/IRE |
2002 |
DBLP BibTeX RDF |
Java |
26 | Wilf R. LaLonde |
Designing Families of Data Types Using Exemplars. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani |
Representing Nested Inductive Types Using W-Types. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Dan Grossman, J. Gregory Morrisett |
Scalable Certification for Typed Assembly Language. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Michael W. Hicks, Stephanie Weirich, Karl Crary |
Safe and Flexible Dynamic Linking of Native Code. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Haruo Hosoya, Akinori Yonezawa |
Garbage Collection via Dynamic Type Inference - A Fomal Treatment. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Dominic Duggan |
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Xavier Leroy |
Introduction. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Bratin Saha, Zhong Shao |
Optimal Type Lifting. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Naoki Kobayashi 0001 |
Type-Based Analysis of Concurrent Programs. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Kennedy |
Types for units-of-measure in f#: invited talk. |
ML |
2008 |
DBLP DOI BibTeX RDF |
dimension types, polymorphic type inference, ml |
26 | Nobuko Yoshida |
Channel dependent types for higher-order mobile processes. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
the higher-order ?-calculus, access control, types, secrecy, mobile processes |
26 | Jerome Vouillon |
Subtyping Union Types. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
semantics, lambda-calculus, subtyping, union types |
26 | Dario Colazzo, Giorgio Ghelli |
Subtyping Recursive Types in Kernel Fun. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
type theory and type systems, kernel Fun, subtyping, recursive types |
26 | Roberto M. Amadio, Luca Cardelli |
Subtyping Recursive Types. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions |
25 | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
Typing communicating component assemblages. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
assemblage error, component types, process types, type interference, components, type system, communication systems |
25 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
25 | Nils Anders Danielsson, John Hughes 0001, Patrik Jansson, Jeremy Gibbons |
Fast and loose reasoning is morally correct. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning |
25 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
25 | Robert Pollack |
Dependently Typed Records in Type Theory. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble |
25 | John Patrick McGregor, Ruby B. Lee |
Performance Impact of Data Compression on Virtual Private Network Transactions. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
virtual private network transactions, secure public network communications, host authentication, IP Security Protocol, IPsec transactions, network types, 1 Gbit/s, 10 Mbit/s, Internet, performance, authentication, cryptography, data integrity, data integrity, data compression, data compression, encryption, transport protocols, packet switching, cryptographic protocols, confidentiality, system model, IPsec, message authentication, data types, VPN, telecommunication networks, telecommunication security, business communication, compression algorithms, security services, cryptographic algorithms, packet sizes, 100 Mbit/s |
25 | Raminder Singh Bajwa, Robert Michael Owens, Mary Jane Irwin |
The MGAP's programming environment and the *C++ language. |
ASAP |
1995 |
DBLP DOI BibTeX RDF |
MGAP's programming environment, *C++ language, workstation co-processor board, fine grain processors, custom ASICs, class concept, parallel data-types like bit, parallel processing, compiler, programming environments, application specific integrated circuits, high-level language, data-types, C language |
25 | Teruo Higashino, Gregor von Bochmann |
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values |
25 | Bernd J. Krämer, Luqi, Valdis Berzins |
Compositional Semantics of a Real-Time Prototyping Language. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior |
25 | Judy M. Bishop |
The Effect of Data Abstraction on Loop Programming Techniques. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction |
25 | Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong |
The design and application of structured types in Ptolemy II. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | John Kuriakose |
"Honey, i shrunk the types": how behavioral types loose relevance on the edges on OO applications and why a core data fabric is useful for adaptability. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
core data representation, data driven programming, dynamic data model, enterprise data fabric, enterprise data repository, reflective data API |
25 | Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury |
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott (eds.) |
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Aleks Kissinger |
Abstract Tensor Systems as Monoidal Categories. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Oriol Valentín |
The Hidden Structural Rules of the Discontinuous Lambek Calculus. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Denis Béchet |
NP-Completeness of Grammars Based Upon Products of Free Pregroups. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Raffaella Bernardi |
Distributional Semantics: A Montagovian View. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Bart Jacobs 0001, Alexandra Silva 0001 |
Initial Algebras of Terms with Binding and Algebraic Structure. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Peter Hines |
Classical Structures Based on Unitaries. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Richard Moot |
Extended Lambek Calculi and First-Order Linear Logic. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Claudia Casadio, Aleksandra Kislak-Malinowska |
Italian Clitic Patterns in Pregroup Grammar: State of the Art. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Dusko Pavlovic |
Chasing Diagrams in Cryptography. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Glyn Morrill |
A Categorial Type Logic. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 35342 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|