Search results for "Types"

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