Search results for "types"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Stanley B. Zdonik, Peter Wegner	Language and Methodology for Object-Oriented Database Environments.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
24	Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi	The Type System of Galileo.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
24		References	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
24	W. Paul Cockshott	Addressing Mechanisms and Persistent Programming.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
24		Preface	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
24	Gilles Kahn, David B. MacQueen, Gordon D. Plotkin (eds.)	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Peter D. Mosses	A Basic Abstract Semantic Algebra.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	John C. Reynolds	Polymorphism is not Set-Theoretic.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Peter Padawitz	Towards a Proof Theory of Parameterized Specifications.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Christopher T. Haynes	A Theory of Data Type Representation Independence.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Luca Cardelli	A Semantics of Multiple Inheritance.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Mariangiola Dezani-Ciancaglini, Ines Margaria	F-Semantics for Intersection Type Discipline.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Kim B. Bruce, Albert R. Meyer	The Semantics of Second Order Polymorphic Lambda Calculus.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Giuseppe Longo, Eugenio Moggi	Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II).	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Glynn Winskel, Kim Guldstrand Larsen	Using Information Systems to Solve Recursive Domain Equations Effectively.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	John Mitchell	Type Inference and Type Containment.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Nancy McCracken	The Typechecking of Programs with Implicit Type Structure.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Lawrence C. Paulson	Deriving Structural Induction in LCF.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Fernando Orejas	A Proof System for Verifying Composability of Abstract Implementations.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Donald Sannella, Andrzej Tarlecki	Building Specifications in an Arbitrary Institution.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Thierry Despeyroux	Executable Specification of Static Semantics.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	James G. Hook	Understanding Russell- A First Attempt.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
24	Frank van Harmelen, Annette ten Teije, Holger Wache	Knowledge engineering rediscovered: towards reasoning patterns for the semantic web.	K-CAP	2009	DBLP DOI BibTeX RDF	reasoning patterns, semantic web, knowledge engineering, task types, problem solving methods
24	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
24	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
24	Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich	Dependent types and program equivalence.	POPL	2010	DBLP DOI BibTeX RDF	dependent types, program equivalence
24	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
24	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble 0001, Jan Vitek, Tian Zhao	Scoped types and aspects for real-time Java memory management.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Real-time systems, Memory management, Java virtual machine, Ownership types
24	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
24	Francine Charest, François Bédard	Identification of Six Socio-types of Internet Users and their Impact on the Interactivity of Tourism Websites.	ENTER	2007	DBLP DOI BibTeX RDF	Internet user socio-types, appropriation theory, website design
24	Christopher A. Stone, Robert Harper 0001	Extensional equivalence and singleton types.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	equivalence algorithms, logical relations, Singleton types
24	Dan Grossman	Quantified types in an imperative language.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type variables, polymorphism, existential types, Cyclone
24	Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea	A flow-based approach for variant parametric types.	OOPSLA	2006	DBLP DOI BibTeX RDF	variant parametric types, constraints, genericity, subtyping, flow analysis
24	Andres Löh, Ralf Hinze	Open data types and open functions.	PPDP	2006	DBLP DOI BibTeX RDF	extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem
24	Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer	Goal types in agent programming.	AAMAS	2006	DBLP DOI BibTeX RDF	agent types, agent programming languages, declarative goals
24	Fernando Berzal Galiano, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda	Lazy Types: Automating Dynamic Strategy Selection.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	lazy types, metadata, reflection, polymorphism, strategies, adaptable code
24	Peter Møller Neergaard, Harry G. Mairson	Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.	ICFP	2004	DBLP DOI BibTeX RDF	proofnet, complexity, type inference, normalization, intersection types, idempotence
24	Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard	Ownership types for safe region-based memory management in real-time Java.	PLDI	2003	DBLP DOI BibTeX RDF	real-time, encapsulation, regions, ownership types
24	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
24	Zhanzi Qiu, Matthias L. Hemmje, Erich J. Neuhold	Using Link Types in Web Page Ranking and Filtering.	WISE (1)	2001	DBLP DOI BibTeX RDF	search system, ranking, filtering, the Web, link types
24	Ulrich Berger 0001	Density Theorems for the Domains-with-Totality Semantics of Dependent Types.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	totality, dependent types, universes, domains, continuous functionals
24	Dimitur Nikolaev Krustev	Software Test Generation Using Refinement Types.	ASE	1999	DBLP DOI BibTeX RDF	refinement types, process graphs, super-compilation, software testing, functional languages, automatic test generation
24	Ralf Hartmut Güting, Markus Schneider 0001	Realms: A Foundation for Spatial Data Types in Database Systems.	SSD	1993	DBLP DOI BibTeX RDF	Spatial data types, realm, finite resolution, numerical robustness, topological correctness, geometric consistency, algebra
23	J. Ian Munro, Venkatesh Raman 0001	Succinct Representation of Balanced Parentheses, Static Trees and Planar Graphs.	FOCS	1997	DBLP DOI BibTeX RDF	balanced parentheses, static trees, rooted ordered tree, planar graphs, abstract data types, abstract data types, binary tree, adjacency, succinct representation
23	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
23	R. D. Purdy	Knowledge and Tools in Building GRANDJUR 1.1.	ICAIL	1989	DBLP DOI BibTeX RDF
23	Richard B. Kieburtz	Precise Typing of Abstract Data Type Specifications.	POPL	1983	DBLP DOI BibTeX RDF
23	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.	FoSSaCS	2009	DBLP DOI BibTeX RDF
23	Martin Plümicke	Intersection types in Java.	PPPJ	2008	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
23	Nicolas Oury	Pattern matching coverage checking with dependent types using set approximations.	PLPV	2007	DBLP DOI BibTeX RDF	coverage checking, set approximation, pattern matching
23	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
23	Flemming Nielson, Hanne Riis Nielson	Types from Control Flow Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
23	Atsushi Igarashi, Mirko Viroli	On Variance-Based Subtyping for Parametric Types.	ECOOP	2002	DBLP DOI BibTeX RDF
23	Karl Crary	Admissibility of Fixpoint Induction over Partial Types.	CADE	1998	DBLP DOI BibTeX RDF
23	Gennaro Monteleone	Generalized Conjunctive Types.	POPL	1989	DBLP DOI BibTeX RDF
23	Kim B. Bruce, Jon G. Riecke	The Semantics of Miranda's Algebraic Types.	MFPS	1987	DBLP DOI BibTeX RDF
23	Gengshen Du, Günther Ruhe	Identification of question types and answer types for an explanation component in software release planning.	K-CAP	2005	DBLP DOI BibTeX RDF	question answering, explanation, dialogue, release planning
23	Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp	A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types.	ACM Trans. Comput. Log.	2022	DBLP DOI BibTeX RDF
23	Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp	A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types.	CoRR	2022	DBLP DOI BibTeX RDF
23	Gabriel Scherer	Which types have a unique inhabitant? : Focusing on pure program equivalence. (Quels types ont un habitant unique ? / Quels types ont un habitant unique ? : Focalisons-nous sur l'équivalence de programmes).		2016	RDF
23	Stefan Monnier, David Haguenauer	Singleton types here, singleton types there, singleton types everywhere: (abstract only).	ACM SIGPLAN Notices	2009	DBLP DOI BibTeX RDF
23	Frédéric Ruyer	Preuves, types et sous-types. (Proof types and subtypes).		2006	RDF
23	Flemming M. Damm	Subtyping with Union Types, Intersection Types and Recursive Types.	TACS	1994	DBLP DOI BibTeX RDF
23	Ed Voermans	Pers as Types, Inductive Types and Types with Laws.	Declarative Programming	1991	DBLP DOI BibTeX RDF
23	Nicholas Cameron 0001, Sophia Drossopoulou, James Noble 0001	Understanding Ownership Types with Dependent Types.	Aliasing in Object-Oriented Programming	2013	DBLP DOI BibTeX RDF
22	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
22	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	A practical type analysis for verification of modular prolog programs.	PEPM	2008	DBLP DOI BibTeX RDF	modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types
22	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
22	Lucia Acciai, Michele Boreale	Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.	ICALP (2)	2009	DBLP DOI BibTeX RDF	behavioural types, safety, decidability, pi-calculus, spatial logic
22	Vasco Thudichum Vasconcelos	Session types for linear multithreaded functional programming.	PPDP	2009	DBLP DOI BibTeX RDF	linear type systems, concurrency, functional programming, session types
22	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
22	German D. Valderrama-Gonzalez, T. Martin McGinnity, Liam P. Maguire, Qingxiang Wu	Review of Neuron Types in the Retina: Information Models for Neuroengineering.	ICANN (1)	2009	DBLP DOI BibTeX RDF	cell types, neuroengineering, artificial visual systems, computational neuroscience, Retina
22	Ulf Norell	Dependently typed programming in Agda.	TLDI	2009	DBLP DOI BibTeX RDF	programming, dependent types
22	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
22	Rebeca Schroeder 0001, 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
22	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
22	Matt Bower	A taxonomy of task types in computing.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer science education, pedagogy, taxonomy, task types
22	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
22	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
22	Hyun Sang Cho, Kyoung Shin Park, Yongkag Kim, Chang S. Kim, Minsoo Hahn	Effects of Virtual Reality Display Types on the Brain Computer Interface System.	HCI (6)	2007	DBLP DOI BibTeX RDF	Display Types, Virtual Reality, Brain Computer Interface, Immersion, Ubiquitous Computing Environment
22	Peter Müller 0001, Arsenii Rudich	Ownership transfer in universe types.	OOPSLA	2007	DBLP DOI BibTeX RDF	universe types, aliasing, uniqueness, ownership transfer
22	Cong-Cong Xing	Enhancing program verifications by restricting object types.	SAC	2006	DBLP DOI BibTeX RDF	object types, OOP, program verification
22	Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine	Associated types and constraint propagation for mainstream object-oriented generics.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C#
22	Giovanni Rimassa, Mirko Viroli	Understanding access restriction of variant parametric types and Java wildcards.	SAC	2005	DBLP DOI BibTeX RDF	java wildcards, use-site variance, variant parametric types, subtyping, java generics
22	François Bry, Frank-André Rieß, Stephanie Spranger	CaTTS: calendar types and constraints for Web applications.	WWW	2005	DBLP DOI BibTeX RDF	Web reasoning, time, types, calendars
22	Daan Leijen, Andres Löh	Qualified types for MLF.	ICFP	2005	DBLP DOI BibTeX RDF	higher-rank polymorphism, impredicativity, qualified types, MLF
22	Nadji Gauthier, François Pottier	Numbering matters: first-order canonical forms for second-order recursive types.	ICFP	2004	DBLP DOI BibTeX RDF	polymorphism, unification, equality, recursive types
22	Sébastien Carlier, J. B. Wells	Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.	PPDP	2004	DBLP DOI BibTeX RDF	expansion variables, type inference, lambda-calculus, intersection types
22	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira	Ownership types for object encapsulation.	POPL	2003	DBLP DOI BibTeX RDF	object encapsulation, ownership types, software upgrades
22	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough	Global abstraction-safe marshalling with hash types.	ICFP	2003	DBLP DOI BibTeX RDF	singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling
22	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate: a practical design pattern for generic programming.	TLDI	2003	DBLP DOI BibTeX RDF	rank-2 types, type cast, generic programming, traversal
22	Oswin Aichholzer, Franz Aurenhammer, Hannes Krasser	Enumerating Order Types for Small Point Sets with Applications.	Order	2002	DBLP DOI BibTeX RDF	planar straight-line graphs, realizable matroids, computational geometry, order types
22	Silvio Valentini	An elementary proof of strong normalization for intersection types.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Normalization, Lambda calculus, Intersection types
22	David G. Clarke, James Noble 0001, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
22	Hongwei Xi	Imperative Programming with Dependent Types.	LICS	2000	DBLP DOI BibTeX RDF	dependent types, programming language design, array bounds checking
22	Robert Colvin, Ian J. Hayes, Paul A. Strooper	Refining Logic Programs Using Types.	ACSC	2000	DBLP DOI BibTeX RDF	logic programming, Refinement, types
22	Samson Abramsky, Marina Lenisa	A Fully Complete PER Model for ML Polymorphic Types.	CSL	2000	DBLP DOI BibTeX RDF	ML-polymorphic types, PER models, full completeness, linear logic, Geometry of Interaction
22	F. Keith Hanna, Neil Daeche, Mark Longley	Specification and Verification Using Dependent Types.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic
22	T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler	A Theory of Abstract Data Types for Program Development: Bridging the Gap?	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF	axiomatic theories, incomplete specifications, parameterisation, conservative extension, namability, implementation, interpretation, abstract data types, program development, stepwise refinement
21	Matthew Danish, Hongwei Xi	Operating system development with ATS: work in progress.	PLPV	2010	DBLP DOI BibTeX RDF	linear types, operating systems, dependent types