|
|
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 |
68 | Daniel Leivant |
Structural Semantics for Polymorphic Data Types.  |
POPL  |
1983 |
DBLP DOI BibTeX RDF |
|
64 | Anton Setzer |
Java as a Functional Programming Language.  |
TYPES  |
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 |
59 | Paul Callaghan, Zhaohui Luo |
Implementation Techniques for Inductive Types in Plastic.  |
TYPES  |
1999 |
DBLP DOI BibTeX RDF |
inductive types, LF implementation, type theory |
56 | Konstantin Läufer, Martin Odersky |
Polymorphic Type Inference and Abstract Data Types.  |
ACM Trans. Program. Lang. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching |
52 | Witold Charatonik |
Directional Type Checking for Logic Programs: Beyond Discriminative Types.  |
ESOP  |
2000 |
DBLP DOI BibTeX RDF |
types in logic programming, directional types, tree automata, regular types |
51 | Stefan Monnier, David Haguenauer |
Singleton types here, singleton types there, singleton types everywhere.  |
PLPV  |
2010 |
DBLP DOI BibTeX RDF |
dependent types, certified compilation, singleton types |
49 | Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst |
Converting java programs to use generic libraries.  |
OOPSLA  |
2004 |
DBLP DOI BibTeX RDF |
JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types |
48 | Pablo Nogueira |
Context-parametric polykinded types.  |
ICFP-WGP  |
2006 |
DBLP DOI BibTeX RDF |
constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming |
47 | Hongwei Xi |
Attributive Types for Proof Erasure.  |
TYPES  |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos |
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.  |
TYPES  |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Laurent Chicli, Loic Pottier, Carlos Simpson |
Mathematical Quotients and Quotient Types in Coq.  |
TYPES  |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Andreas Abel 0001, Thorsten Altenkirch |
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types.  |
TYPES  |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.  |
J. ACM  |
2008 |
DBLP DOI BibTeX RDF |
negation types, Subtyping, higher-order functions, intersection types, union types |
44 | Ki Yung Ahn, Tim Sheard |
Shared subtypes: subtyping recursive parametrized algebraic data types.  |
Haskell  |
2008 |
DBLP DOI BibTeX RDF |
parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types |
44 | Yves Bertot, Ekaterina Komendantskaya |
Using Structural Recursion for Corecursion.  |
TYPES  |
2008 |
DBLP DOI BibTeX RDF |
Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq |
43 | Tachio Terauchi |
Dependent types from counterexamples.  |
POPL  |
2010 |
DBLP DOI BibTeX RDF |
interpolation, type inference, dependent types, counterexamples, intersection types |
43 | Robert Atkey |
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.  |
TYPES  |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Maribel Fernández, Murdoch Gabbay |
Curry-Style Types for Nominal Terms.  |
TYPES  |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, rewriting, binding |
43 | Sergei Soloviev 0001, David Chemouil |
Some Algebraic Structures in Lambda-Calculus with Inductive Types.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Yong Luo 0001, Zhaohui Luo |
Combining Incoherent Coercions for Sigma-Types.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Tarmo Uustalu |
Monad Translating Inductive and Coinductive Types.  |
TYPES  |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Erik Ernst |
First-Class Object Sets.  |
TYPES  |
2008 |
DBLP DOI BibTeX RDF |
Object sets, multi-object method calls, composition, types |
42 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Low-level liquid types.  |
POPL  |
2010 |
DBLP DOI BibTeX RDF |
liquid types, c, type inference, dependent types |
42 | Benoît Montagu, Didier Rémy |
Modeling abstract types in modules with open existential types.  |
POPL  |
2009 |
DBLP DOI BibTeX RDF |
linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types |
41 | Allyn 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.  |
Types in Compilation  |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Robin Adams 0001 |
Formalized Metatheory with Terms Represented by an Indexed Family of Types.  |
TYPES  |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Peter Morris, Thorsten Altenkirch, Conor McBride |
Exploring the Regular Tree Types.  |
TYPES  |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Silvia Ghilezan, Pierre Lescanne |
Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Furio Honsell, Ivan Scagnetto |
Mobility Types in Coq.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Florian Kammüller |
Modular Structures as Dependent Types in Isabelle.  |
TYPES  |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Riccardo Pucella, Jesse A. Tov |
Haskell session types with (almost) no class.  |
Haskell  |
2008 |
DBLP DOI BibTeX RDF |
embedded type systems, phantom types, concurrency, functional programming, haskell, type classes, session types |
39 | Steffen van Bakel, Franco Barbanera, Maribel Fernández |
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule.  |
TYPES  |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Fábio Reis, Sandra Alves, Mário Florido |
Linear Rank Intersection Types.  |
TYPES  |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Yuta Takahashi |
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus.  |
TYPES  |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Pietro Di Gianantonio, Marina Lenisa |
Principal Types as Lambda Nets.  |
TYPES  |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 |
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.  |
TYPES  |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Furio Honsell, Marina Lenisa, Ivan Scagnetto |
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types.  |
TYPES  |
2020 |
DBLP DOI BibTeX RDF |
|
39 | Ulrich Berger 0001, Ralph Matthes, Anton Setzer |
Martin Hofmann's Case for Non-Strictly Positive Data Types.  |
TYPES  |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Simona Ronchi Della Rocca |
Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper).  |
TYPES  |
2016 |
DBLP DOI BibTeX RDF |
|
39 | Davide Ancona, Paola Giannini, Elena Zucca |
Constrained Polymorphic Types for a Calculus with Name Variables.  |
TYPES  |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Benedikt Ahrens, Régis Spadotti |
Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory.  |
TYPES  |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
Isomorphism of "Functional" Intersection Types.  |
TYPES  |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Yangyue Feng, Zhaohui Luo |
Typed Operational Semantics for Dependent Record Types  |
TYPES  |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Adam Grabowski |
Solving Two Problems in General Topology Via Types.  |
TYPES  |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn |
Type Inference for Nested Self Types.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Qiao Haiyan |
Formalising Formulas-as-Types-as-Objects.  |
TYPES  |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Jean Goubault-Larrecq |
Conjunctive Types and SKInT.  |
TYPES  |
1998 |
DBLP DOI BibTeX RDF |
|
39 | César A. Muñoz |
Dependent Types with Explicit Substitutiuons: A Meta-theoretical development.  |
TYPES  |
1996 |
DBLP DOI BibTeX RDF |
|
39 | Alvaro Tasistro |
Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping.  |
TYPES  |
1996 |
DBLP DOI BibTeX RDF |
|
39 | Philippe Curmin |
First Order Marked Types.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Eduardo Giménez 0001 |
An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Susumu Hayashi |
Logic of Refinement Types.  |
TYPES  |
1993 |
DBLP DOI BibTeX RDF |
|
39 | Jana Dunfield |
Refined typechecking with Stardust.  |
PLPV  |
2007 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
38 | Ralf 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.  |
ACM Trans. Database Syst.  |
2000 |
DBLP DOI BibTeX RDF |
moving point, moving region, spatio-temporal data types, moving objects, abstract data types, algebra, spatio-temporal databases |
38 | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow |
Associated types with class.  |
POPL  |
2005 |
DBLP DOI BibTeX RDF |
associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes |
38 | Gilles Barthe, Tarmo Uustalu |
CPS translating inductive and coinductive types.  |
PEPM  |
2002 |
DBLP DOI BibTeX RDF |
classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations |
38 | Fernando 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.  |
Fuzzy Days  |
2004 |
DBLP DOI BibTeX RDF |
fuzzy types, lazy types, object-orientation |
38 | Robert Cartwright |
Types as Intervals.  |
POPL  |
1985 |
DBLP DOI BibTeX RDF |
|
37 | Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
Towards a Type Discipline for Answer Set Programming.  |
TYPES  |
2008 |
DBLP DOI BibTeX RDF |
many sorted interpretation, type checking, Answer set programming, grounding |
37 | José Espírito Santo, Silvia Ghilezan, Jelena Ivetic |
Characterising Strongly Normalising Intuitionistic Sequent Terms.  |
TYPES  |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Hongwei Xi |
Applied Type System: Extended Abstract.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Daniela Genius, Martin Trapp 0002, Wolf Zimmermann |
An Approach to Improve Locality Using Sandwich Types.  |
Types in Compilation  |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Peter Aczel |
On Relating Type Theories and Set Theories.  |
TYPES  |
1998 |
DBLP DOI BibTeX RDF |
|
37 | DeLesley Hutchins |
Eliminating distinctions of class: using prototypes to model virtual classes.  |
OOPSLA  |
2006 |
DBLP DOI BibTeX RDF |
virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types |
36 | Kenneth L. Knowles, Cormac Flanagan |
Compositional reasoning and decidable checking for dependent contract types.  |
PLPV  |
2009 |
DBLP DOI BibTeX RDF |
refinement types, abstraction, dependent types, compositional reasoning |
36 | Matthieu Sozeau |
Subset Coercions in Coq.  |
TYPES  |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001 |
Weak Transitivity in Coercive Subtyping.  |
TYPES  |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Andreas Abel 0001, Ralph Matthes |
(Co-)Iteration for Higher-Order Nested Datatypes.  |
TYPES  |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Thierry Coquand, Makoto Takeyama |
An Implementation of Type: Type.  |
TYPES  |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Christoph Beierle |
Types, Modules and Databases in the Logic Programming Language PROTOS-L.  |
Sorts and Types in Artificial Intelligence  |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Jana Dunfield, Frank Pfenning |
Tridirectional typechecking.  |
POPL  |
2004 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
35 | Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay |
Session Types for Functional Multithreading.  |
CONCUR  |
2004 |
DBLP DOI BibTeX RDF |
static typechecking, specification of communication protocols, concurrent programming, Session types |
34 | Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri |
Session and Union Types for Object Oriented Programming.  |
Concurrency, Graphs and Models  |
2008 |
DBLP DOI BibTeX RDF |
Object Oriented Programming, Sessions, Union Types, Session Types |
34 | Javier Miranda, Edmond Schonberg |
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.  |
Ada-Europe  |
2006 |
DBLP DOI BibTeX RDF |
Abstract Interface Types, Tagged Types, Discriminants, Ada 2005, GNAT |
34 | Javier Miranda, Edmond Schonberg, Gary Dismukes |
The Implementation of Ada 2005 Interface Types in the GNAT Compiler.  |
Ada-Europe  |
2005 |
DBLP DOI BibTeX RDF |
Abstract Interface Types, Tagged Types, Ada 2005, GNAT |
34 | Dominique Colnet, Luigi Liquori |
Match-O, A Dialect of Eiffel with Match-Types.  |
TOOLS (37)  |
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 |
34 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Monadic Translation of Intuitionistic Sequent Calculus.  |
TYPES  |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Jan Schwinghammer |
On Normalization by Evaluation for Object Calculi.  |
TYPES  |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Claudio Sacerdoti Coen, Enrico Tassi |
Working with Mathematical Structures in Type Theory.  |
TYPES  |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Agnieszka Kozubek, Pawel Urzyczyn |
In the Search of a Naive Type Theory.  |
TYPES  |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Florian Haftmann, Makarius Wenzel |
Constructive Type Classes in Isabelle.  |
TYPES  |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Milad Niqui |
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.  |
TYPES  |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Stefan Berghofer |
Extracting a Normalization Algorithm in Isabelle/HOL.  |
TYPES  |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Ana Bove, Thierry Coquand |
Formalising Bitonic Sort in Type Theory.  |
TYPES  |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Nicola Gambino, Martin Hyland |
Wellfounded Trees and Dependent Polynomial Functors.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Edwin C. Brady, Conor McBride, James McKinna |
Inductive Families Need Not Store Their Indices.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Sylvain Baro |
Introduction to PAF!, a Proof Assistant for ML Programs Verification.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Ugo Dal Lago, Simone Martini 0001, Luca Roversi |
Higher-Order Linear Ramified Recurrence.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker 0001 |
A Concurrent Logical Framework: The Propositional Fragment.  |
TYPES  |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Gueorgui I. Jojgov |
Holes with Binding Power.  |
TYPES  |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Andreas Abel 0001 |
Specification and Verification of a Formal System for Structurally Recursive Functions.  |
TYPES  |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Alberto Ciaffaglione, Pietro Di Gianantonio |
A Co-inductive Approach to Real Numbers.  |
TYPES  |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Joëlle Despeyroux, Pierre Leleu |
A Modal Lambda Calculus with Iteration and Case Constructs.  |
TYPES  |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Vincent Padovani |
Decidability of All Minimal Models.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Gilles Barthe |
Implicit Coercions in Type Systems.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Peter Dybjer |
Internal Type Theory.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Christine Paulin-Mohring |
Circuits as Streams in Coq: Verification of a Sequential Multiplier.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Gilles Barthe, Mark Ruys, Henk Barendregt |
A Two-Level Approach Towards Lean Proof-Checking.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Martin Hofmann 0001 |
Conservativity of Equality Reflection over Intensional Type Theory.  |
TYPES  |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Nikhil Swamy, Michael Hicks 0001 |
Verified enforcement of stateful information release policies.  |
ACM SIGPLAN Notices  |
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][ >>] |
|