Search results for "types"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	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
5	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
5	Pablo Nogueira	Context-parametric polykinded types.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming
5	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
5	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
5	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
5	Paul Callaghan, Zhaohui Luo	Implementation Techniques for Inductive Types in Plastic.	TYPES	1999	DBLP DOI BibTeX RDF	inductive types, LF implementation, type theory
5	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
4	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
4	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
4	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
4	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
4	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
4	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
4	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
4	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
4	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
4	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
4	Daniel Smith, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
4	Nikhil Swamy, Michael Hicks	Verified enforcement of stateful information release policies.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
4	Hongwei Xi	Attributive Types for Proof Erasure.	TYPES	2007	DBLP DOI BibTeX RDF
4	Robert Atkey	CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.	TYPES	2007	DBLP DOI BibTeX RDF
4	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
4	Conor McBride	What's the deal with dependent types?	TLDI	2007	DBLP DOI BibTeX RDF	epigram, pattern matching, dependent types
4	Joshua Dunfield	Refined typechecking with Stardust.	PLPV	2007	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
4	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
4	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
4	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
4	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
4	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
4	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
4	Peter Morris, Thorsten Altenkirch, Conor McBride	Exploring the Regular Tree Types.	TYPES	2004	DBLP DOI BibTeX RDF
4	Robin Adams	Formalized Metatheory with Terms Represented by an Indexed Family of Types.	TYPES	2004	DBLP DOI BibTeX RDF
4	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
4	Joshua Dunfield, Frank Pfenning	Tridirectional typechecking.	POPL	2004	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
4	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
4	Furio Honsell, Ivan Scagnetto	Mobility Types in Coq.	TYPES	2003	DBLP DOI BibTeX RDF
4	Sergei Soloviev, David Chemouil	Some Algebraic Structures in Lambda-Calculus with Inductive Types.	TYPES	2003	DBLP DOI BibTeX RDF
4	Silvia Ghilezan, Pierre Lescanne	Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract.	TYPES	2003	DBLP DOI BibTeX RDF
4	Yong Luo, Zhaohui Luo	Combining Incoherent Coercions for Sigma-Types.	TYPES	2003	DBLP DOI BibTeX RDF
4	Andreas Rossberg	Generativity and dynamic opacity for abstract types.	PPDP	2003	DBLP DOI BibTeX RDF	generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
4	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
4	Tarmo Uustalu	Monad Translating Inductive and Coinductive Types.	TYPES	2002	DBLP DOI BibTeX RDF
4	Laurent Chicli, Loic Pottier, Carlos Simpson	Mathematical Quotients and Quotient Types in Coq.	TYPES	2002	DBLP DOI BibTeX RDF
4	Dominique Colnet, Luigi Liquori	Match-O, A Dialect of Eiffel with Match-Types.	TOOLS	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
4	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
4	Michael Marz	An Algebraic View on Recursive Types.	Applied Categorical Structures	1999	DBLP DOI BibTeX RDF	positive types, strong normalisation, calculus, recursive types, universal algebra
4	Andreas Abel, Thorsten Altenkirch	A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types.	TYPES	1999	DBLP DOI BibTeX RDF
4	Florian Kammüller	Modular Structures as Dependent Types in Isabelle.	TYPES	1998	DBLP DOI BibTeX RDF
4	Daniela Genius, Martin Trapp, Wolf Zimmermann	An Approach to Improve Locality Using Sandwich Types.	Types in Compilation	1998	DBLP DOI BibTeX RDF
4	Jean-Francois Girard, Rainer Koschke, Georg Schied	A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	metric-based approach, state encapsulations, abstract objects, C systems, software engineers, abstract data types, abstract data types, source code
3	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
3	Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich	Dependent types and program equivalence.	POPL	2010	DBLP DOI BibTeX RDF	dependent types, program equivalence
3	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
3	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
3	Chuan-kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
3	Matthias Felleisen	Adding types to untyped languages.	TLDI	2010	DBLP DOI BibTeX RDF	software contracts, type systems, scheme
3	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
3	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
3	Yangyue Feng, Zhaohui Luo	Typed Operational Semantics for Dependent Record Types	TYPES	2009	DBLP DOI BibTeX RDF
3	Lijie Wen, Jianmin Wang 0001, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun	A novel approach for process mining based on event types.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Event types, WF-nets, DWF-nets, Data mining, Petri nets, Process mining, Workflow mining
3	Lucia Acciai, Michele Boreale	Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.	ICALP	2009	DBLP DOI BibTeX RDF	behavioural types, safety, decidability, pi-calculus, spatial logic
3	Daniel R. Licata, Robert Harper	Positively dependent types.	PLPV	2009	DBLP DOI BibTeX RDF	agda, dependent types, polarity
3	Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
3	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
3	German D. Valderrama-Gonzalez, T. Martin McGinnity, Liam P. Maguire, Qingxiang Wu	Review of Neuron Types in the Retina: Information Models for Neuroengineering.	ICANN	2009	DBLP DOI BibTeX RDF	cell types, neuroengineering, artificial visual systems, computational neuroscience, Retina
3	Jiunde Lee, Chih-Yi Chao	The Effects of Quest Types and Gaming Motivations on Players' Knowledge Acquisitions in an Online Role-Playing Game Environment.	HCI	2009	DBLP DOI BibTeX RDF	Online Role-Playing Games, Quest Types, Gaming Motivations, Declarative Knowledge, Procedural Knowledge
3	Neil Sculthorpe, Henrik Nilsson	Safe functional reactive programming through dependent types.	ICFP	2009	DBLP DOI BibTeX RDF	DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
3	Nick Benton, Nicolas Tabareau	Compiling functional types to relational specifications for low level imperative code.	TLDI	2009	DBLP DOI BibTeX RDF	separation logic, proof assistants, compiler verification, relational parametricity, type soundness
3	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
3	Vasco Thudichum Vasconcelos	Session types for linear multithreaded functional programming.	PPDP	2009	DBLP DOI BibTeX RDF	linear type systems, concurrency, functional programming, session types
3	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
3	Ulf Norell	Dependently typed programming in Agda.	TLDI	2009	DBLP DOI BibTeX RDF	programming, dependent types
3	Amal Ahmed, 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
3	Victoria Sakhnini, Orit Hazzan	Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types.	ACM Journal of Educational Resources in Computing	2008	DBLP DOI BibTeX RDF	reducing abstraction, abstraction, computer science education, problem solving, abstract data types
3	Hendrik Knoche, John D. McCarthy, Martina Angela Sasse	How low can you go? The effect of low resolutions on shot types in mobile TV.	Multimedia Tools Appl.	2008	DBLP DOI BibTeX RDF	Shot types, Mobile TV, Low resolutions
3	Franck Binard, Amy P. Felty	Genetic programming with polymorphic types and higher-order functions.	GECCO	2008	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
3	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
3	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
3	Matt Bower	A taxonomy of task types in computing.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer science education, pedagogy, taxonomy, task types
3	Marie-Laure Ryan	Interactive Narrative, Plot Types, and Interpersonal Relations.	ICIDS	2008	DBLP DOI BibTeX RDF	design of interactive narrative, user role, plot types, epic plot, epistemic plot, dramatic plot, interpersonal relations, ludic immersion, narrative immersion, computer games, Interactive narrative, agency
3	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Bounded Relational Analysis of Free Data Types.	TAP	2008	DBLP DOI BibTeX RDF	SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types
3	Kohei Honda, Nobuko Yoshida, Marco Carbone	Multiparty asynchronous session types.	POPL	2008	DBLP DOI BibTeX RDF	multiparty, communications, causality, choreography, structured programming, session types, mobile processes
3	Rebeca Schroeder, 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
3	Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett	08061 Executive Summary -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
3	Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett	08061 Abstracts Collection -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
3	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
3	Andrew Kennedy	Types for units-of-measure in f#: invited talk.	ML	2008	DBLP DOI BibTeX RDF	dimension types, polymorphic type inference, ml
3	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
3	Krzysztof Janowicz, Carsten Keßler, Ilija Panov, Marc Wilkes, Martin Espeter, Mirco Schwarz	A Study on the Cognitive Plausibility of SIM-DL Similarity Rankings for Geographic Feature Types.	AGILE Conf.	2008	DBLP DOI BibTeX RDF	SIM-DL, geographic feature types, similarity measurement, Web Ontology Language
3	José Espírito Santo, Ralph Matthes, Luis Pinto	Monadic Translation of Intuitionistic Sequent Calculus.	TYPES	2008	DBLP DOI BibTeX RDF
3	Erik Ernst	First-Class Object Sets.	TYPES	2008	DBLP DOI BibTeX RDF	Object sets, multi-object method calls, composition, types
3	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
3	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
3	Matthias Kunzelmann, Juho Mäkiö	Innovative order types as success factors in stock exchange competition.	Inf. Syst. E-Business Management	2007	DBLP DOI BibTeX RDF	Exchange competition, Generic trading system, Order types, Market engineering
3	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao	Scoped types and aspects for real-time Java memory management.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Memory management, Java virtual machine, Ownership types
3	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
3	Dariusz Kusmierek	The Inhabitation Problem for Rank Two Intersection Types.	TLCA	2007	DBLP DOI BibTeX RDF	type inhabitation problem, lambda calculus, intersection types, alternating Turing machine
3	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
3	Penny Drennan, Dominique A. Keeffe	Virtual Consumption: Using Player Types to Explore Virtual Consumer Behavior.	ICEC	2007	DBLP DOI BibTeX RDF	player types, virtual consumption, consumer behavior