Search results for "Types"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno	A polymorphic modal type system for lisp-like multi-staged languages.	POPL	2006	DBLP DOI BibTeX RDF	let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
21	Yi Lu 0003, John Potter	Protecting representation with effect encapsulation.	POPL	2006	DBLP DOI BibTeX RDF	object encapsulation, representation exposure, types, ownership types, effect systems
21	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
21	Derek Dreyer, Karl Crary, Robert Harper 0001	A type system for higher-order modules.	POPL	2003	DBLP DOI BibTeX RDF	modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors
21	Nikos A. Lorentzos	DBMS Support for Nonmetric Measurement Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	units (measurement), nonmetric measurement systems, numeric data types, nonnumeric measurement system, generic data type is, composite number, data structures, database management systems, DBMS, temporal databases, temporal databases, abstract data types, precision, arithmetic, arithmetic operations, integrity checking
21	Xue-Miao Lu, Tharam S. Dillon	An Algebraic Theory of Object-Oriented Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	net objects, complex database models, formal specification, object-oriented programming, object-oriented programming, object-oriented databases, polymorphism, abstract data types, abstract data types, algebraic specification, object-oriented systems, multiple inheritance, object-oriented paradigms, nested relations, hierarchical approach, algebraic theory
21	Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf	Validating The Utility Of Abstraction Techniques.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition
21	James McKinna	Why dependent types matter.	POPL	2006	DBLP DOI BibTeX RDF
21	Anne H. H. Ngu, David Buttler, Terence Critchlow	Automatic Generation of Data Types for Classification of Deep Web Sources.	DILS	2005	DBLP DOI BibTeX RDF
21	Francis Jeffry Pelletier, Renee Elio	Enumerating the Preconditions of Agent Message Types.	AI	2003	DBLP DOI BibTeX RDF
21	Kresten Krab Thorup, Mads Torgersen	Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes.	ECOOP	1999	DBLP DOI BibTeX RDF
21	Martin Andersson, Tuomas Sandholm	Sequencing of Contract Types for Anytime Task Reallocation.	AMET	1998	DBLP DOI BibTeX RDF	Multiagent systems, Negotiation, Contracting, Task allocation, Performance profiles
21	Joseph E. Beck, Jack Mostow	How Who Should Practice: Using Learning Decomposition to Evaluate the Efficacy of Different Types of Practice for Different Types of Students.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	learning decomposition, bottom-up processing, learning curves, educational data mining
21	Paulo Sérgio Almeida	Balloon Types: Controlling Sharing of State in Data Types.	ECOOP	1997	DBLP DOI BibTeX RDF
20	Franck Binard, Amy P. Felty	An abstraction-based genetic programming system.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
20	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn	Simple unification-based type inference for GADTs.	ICFP	2006	DBLP DOI BibTeX RDF	type inference, generalized algebraic data types
20	Brian E. Weinrich, Markus Schneider 0001	Use of rational numbers in the design of robust geometric primitives for three-dimensional spatial database systems.	GIS	2005	DBLP DOI BibTeX RDF	3D spatial data types, GIS, spatial database, geometric primitives, rational numbers, discrete model
20	Lijie Wen, Jianmin Wang 0001, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun 0001	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
20	Cherif R. 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
20	Jim 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 (4)	2009	DBLP DOI BibTeX RDF	Online Role-Playing Games, Quest Types, Gaming Motivations, Declarative Knowledge, Procedural Knowledge
20	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
20	Victoria Sakhnini, Orit Hazzan	Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types.	ACM J. Educ. Resour. Comput.	2008	DBLP DOI BibTeX RDF	reducing abstraction, abstraction, computer science education, problem solving, abstract data types
20	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
20	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
20	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
20	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
20	Matthias Kunzelmann, Juho Mäkiö	Innovative order types as success factors in stock exchange competition.	Inf. Syst. E Bus. Manag.	2007	DBLP DOI BibTeX RDF	Exchange competition, Generic trading system, Order types, Market engineering
20	Manuel Fähndrich, Songtao Xia	Establishing object invariants with delayed types.	OOPSLA	2007	DBLP DOI BibTeX RDF	non-null types, object invariants, initialization
20	Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova	Optimizing java programs using generic types.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	java, specialization, generic types
20	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
20	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
20	Nuno Cardoso, Mário J. Silva	Query expansion through geographical feature types.	GIR	2007	DBLP DOI BibTeX RDF	feature types, geographical relevance, query parsing, ontologies, query expansion, features, geographical IR
20	Lucas Layman, Travis Cornwell, Laurie A. Williams	Personality types, learning styles, and an agile approach to software engineering education.	SIGCSE	2006	DBLP DOI BibTeX RDF	software engineering education, agile methods, learning styles, personality types
20	Andrew Kennedy, Claudio V. Russo	Generalized algebraic data types and object-oriented programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	constraints, generics, generalized algebraic data types
20	James Canning, William Moloney, Ali Rafieymehr, Demetrio Rey	Reading types in C using the right left walk method.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	C declarators, object type, verbalizing C types, verbalizing a declarator
20	Marcelo P. Fiore	Isomorphisms of generic recursive polynomial types.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, type isomorphism, data structure, type theory, recursive types, word problem, semigroups, rigs
20	William Van Lepthien, Kenneth M. Anderson	Unifying structure, behavior, and data with themis types and templates.	Hypertext	2004	DBLP DOI BibTeX RDF	Themis, types, templates, structural computing, Chimera
20	Manuel Fähndrich, K. Rustan M. Leino	Declaring and checking non-null types in an object-oriented language.	OOPSLA	2003	DBLP DOI BibTeX RDF	non-null types, null references, Java, type system, c#
20	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
20	Manuel Fähndrich, Robert DeLine	Adoption and Focus: Practical Linear Types for Imperative Programming.	PLDI	2002	DBLP DOI BibTeX RDF	heap aliasing, linear types, region-based memory management
20	Thorsten Altenkirch, Bernhard Reus	Monadic Presentations of Lambda Terms Using Generalized Inductive Types.	CSL	1999	DBLP DOI BibTeX RDF	inductive types, Type Theory, category theory, ?-calculus
20	Hirotaka Sakasegawa, Takeshi Kawashima	On the equivalence of three types of blocking in non-Markovian tandem queues.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	blocking types, general service times, Tandem queues, sample path analysis
20	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
20	P. A. Subrahmanyam	Nondeterminism in Abstract Data Types.	ICALP	1981	DBLP DOI BibTeX RDF	nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism
20	Bengt Nordstrüm	Assignments and high level data types.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Adress, Mathematical semantics, Assignment, Data types, Pointers
19	A. Del Río, Luis Javier Hernández-Paricio, María Teresa Rivas Rodríguez	S-types of Global Towers of Spaces and Exterior Spaces.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 55Q57, 55Q70, 54A05
19	Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca	Intersection, Universally Quantified, and Reference Types.	CSL	2009	DBLP DOI BibTeX RDF
19	Amal J. Ahmed 0001	Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.	ESOP	2006	DBLP DOI BibTeX RDF
19	Shawn Bowers, Bertram Ludäscher	Towards Automatic Generation of Semantic Types in Scientific Workflows.	WISE Workshops	2005	DBLP DOI BibTeX RDF
19	Friedrich Mayer-Lindenberg	A Management Scheme for the Basic Types in High Level Languages.	SOFSEM	2005	DBLP DOI BibTeX RDF
19	Jordi Cabot, Antoni Olivé, Ernest Teniente	Entity Types Derived by Symbol-Generating Rules.	ER	2003	DBLP DOI BibTeX RDF
19	Vladimir Gapeyev, Benjamin C. Pierce	Regular Object Types.	ECOOP	2003	DBLP DOI BibTeX RDF
19	Davide Sangiorgi	Taming Mobile Processes Using Types.	SEFM	2003	DBLP DOI BibTeX RDF
19	Joe B. Wells, Christian Haack	Branching Types.	ESOP	2002	DBLP DOI BibTeX RDF
19	Atsushi Igarashi, Benjamin C. Pierce	Foundations for Virtual Types.	ECOOP	1999	DBLP DOI BibTeX RDF
19	Jens Palsberg, Scott F. Smith 0001	Constrained Types and Their Expressiveness.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	constraints
19	Alexander Aiken, Edward L. Wimmers, T. K. Lakshman	Soft Typing with Conditional Types.	POPL	1994	DBLP DOI BibTeX RDF
19	David Aspinall 0001	Subtyping with Singleton Types.	CSL	1994	DBLP DOI BibTeX RDF
19	Malcolm P. Atkinson 0001, Philippe Richard, Philip W. Trinder	Bulk Types for Large Scale Programming.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
19	Mark A. Sheldon, David K. Gifford	Static Dependent Types for First Class Modules.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
19	Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman	Empty Types in Polymorphic Lambda Calculus.	POPL	1987	DBLP DOI BibTeX RDF
19	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
19	Chuan-Kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
19	Matthias Felleisen	Adding types to untyped languages.	TLDI	2010	DBLP DOI BibTeX RDF	software contracts, type systems, scheme
19	Sami Serola	City planners' information seeking behavior: information channels used and information types needed in varying types of perceived work tasks.	IIiX	2006	DBLP DOI BibTeX RDF
19	Ken-etsu Fujita	Galois Embedding from Polymorphic Types into Existential Types.	TLCA	2005	DBLP DOI BibTeX RDF
19	Erik Poll, Jan Zwanenburg	A Logic for Abstract Data Types as Existential Types.	TLCA	1999	DBLP DOI BibTeX RDF
18	Dewi Mairiza, Didar Zowghi, Nur Nurmuliani	An investigation into the notion of non-functional requirements.	SAC	2010	DBLP DOI BibTeX RDF	type of system, classification, types, non-functional requirements, application domain
18	Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek	Integrating typed and untyped code in a scripting language.	POPL	2010	DBLP DOI BibTeX RDF	compilers, semantics, object-orientation, types
18	José A. Blakeley, Vineet Rao, Isaac Kunen, Adam Prout, Mat Henaire, Christian Kleinerman	.NET database programmability and extensibility in microsoft SQL server.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	server programming, extensibility, abstract data types
18	Xuanhui Wang, Jian-Tao Sun, Zheng Chen 0001	Shine: search heterogeneous interrelated entities.	CIKM	2007	DBLP DOI BibTeX RDF	heterogeneous interrelated entities, multiple types, shine, search
18	Giuseppe Castagna, Alain Frisch	A gentle introduction to semantic subtyping.	PPDP	2005	DBLP DOI BibTeX RDF	negation types, typing, subtyping, intersection, union
18	Morten Rhiger	A foundation for embedded languages.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness
18	Matthew Hennessy, James Riely	Information flow vs. resource access in the asynchronous pi-calculus.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference
18	Alexandra Poulovassilis, Mark Levene	A Nested-Graph Model for the Representation and Manipulation of Complex Objects.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	nested graph, object store, rule-based query and update language, types, complex object
18	Luiz Fernando Capretz, Faheem Ahmed	Making Sense of Software Development and Personality Types.	IT Prof.	2010	DBLP DOI BibTeX RDF	human factors in software engineering, diversity in software development, MBTI, IT workforce, software psychology, personality types
18	Michael Meier 0002, Michael Schmidt 0002, Fang Wei 0001, Georg Lausen	Semantic query optimization in the presence of types.	PODS	2010	DBLP DOI BibTeX RDF	constraints, query optimization, types, chase
18	Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers	Let should not be generalized.	TLDI	2010	DBLP DOI BibTeX RDF	type families, haskell, type inference, type classes, generalized algebraic data types
18	Saugata Basu	On the Number of Topological Types Occurring in a Parameterized Family of Arrangements.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	O-minimal structures, Homotopy types, Arrangements, Combinatorial complexity
18	Yi Zhang, Zongbin Li, Jikong Wang	Hierarchical Reasoning Model of Tolerance Information and Its Using in Reasoning Technique of Geometric Tolerance Types.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Tolerance information, Reasoning model, Polychromatic sets, Tolerance types
18	Stefan Wagner 0001	Defect classification and defect types revisited.	DEFECTS	2008	DBLP DOI BibTeX RDF	defect taxonomy, defect types, faults, defects, bugs, defect classification
18	Vincent Simonet, François Pottier	A constraint-based approach to guarded algebraic data types.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	GADTs, Generalized algebraic data types, constraint-based type inference
18	Azamatbek Mametjanov	Types and program transformations.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	transformations, types, type-checking
18	Andrzej Filinski, Kristian Støvring	Inductive reasoning about effectful data types.	ICFP	2007	DBLP DOI BibTeX RDF	abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning
18	Nick Benton, Peter Buchlovsky	Semantics of an effect analysis for exceptions.	TLDI	2007	DBLP DOI BibTeX RDF	partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems
18	Pradeep Kumar	Modal logic & ownership types: uniting three worlds.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	split-objects, modal logic, roles, delegation, ownership types, dynamic binding, ownership transfer
18	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
18	Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani	Types for path correctness of XML queries.	ICFP	2004	DBLP DOI BibTeX RDF	XML types, XML queries, type correctness
18	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
18	Naoki Kobayashi 0001	Time regions and effects for resource usage analysis.	TLDI	2003	DBLP DOI BibTeX RDF	program analysis, types, effects, resource usage
18	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
18	James Milton, Anastasia Garbi	Error Types in the Computer-Aided Translation of Tourism Texts.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	error types, computer aided translation, tourism texts, European-funded project, MLIS programm, computer-driven translation package, formulaic language, tourism brochures, translation equivalence, sentence level, multilanguage format, computer translators, interlanguage equivalence, translation packages, language translation, business communication, MIS
18	Sang Hyuk Son	An Adaptive Checkpointing Scheme for Distributed Databases with Mixed Types of Transactions.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	adaptive checkpointing scheme, mixed types of transactions, distributed databases, distributed databases, transaction processing
18	William E. Weihl	Commutativity-Based Concurrency Control for Abstract Data Types.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial
18	David K. Probst, Hon Fung Li	Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	correctness proving, abstract specification, synchronous data types, systolic network implementations, Parnas trace method, VLSI, VLSI, data structures, data flow, control flow, cellular arrays, software modules
17	Martin Plümicke	Typeless programming in Java 5.0 with wildcards.	PPPJ	2007	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
17	Peter V. Homeier	A Design Structure for Higher Order Quotients.	TPHOLs	2005	DBLP DOI BibTeX RDF
17	J. Philip Benkard	Functions and data can dance as equal partners.	APL	1999	DBLP DOI BibTeX RDF	APL
17	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
17	Erik Meineche Schmidt, Michael I. Schwartzbach	An Imperative Type Hierarchy with Partial Products.	MFCS	1989	DBLP DOI BibTeX RDF