Search results for "types"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager	Proof-Checking a Data Link Protocol.	TYPES	1993	DBLP DOI BibTeX RDF
32	Savi Maharaj	Encoding Z-style Schemas in Type Theory.	TYPES	1993	DBLP DOI BibTeX RDF
32	L. S. van Benthem Jutting, James McKinna, Robert Pollack	Checking Algorithms for Pure Type Systems.	TYPES	1993	DBLP DOI BibTeX RDF
32	Catherine Parent	Developing Certified Programs in the System Coq - The Program Tactic.	TYPES	1993	DBLP DOI BibTeX RDF
32	Randy Pollack	Closure Under Alpha-Conversion.	TYPES	1993	DBLP DOI BibTeX RDF
32	Marino Miculan	The Expressive Power of Structural Operational Semantics with Explicit Assumptions.	TYPES	1993	DBLP DOI BibTeX RDF
32	Thorsten Altenkirch	Proving Strong Normalization of CC by Modifying Realizability Semantics.	TYPES	1993	DBLP DOI BibTeX RDF
32	François Leclerc, Christine Paulin-Mohring	Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes.	TYPES	1993	DBLP DOI BibTeX RDF
32	Christophe Faffalli	Machine Deduction.	TYPES	1993	DBLP DOI BibTeX RDF
32	Aarne Ranta	Type Theory and the Informal Language of Mathematics.	TYPES	1993	DBLP DOI BibTeX RDF
32	Lena Magnusson, Bengt Nordström	The ALF Proof Editor and Its Proof Engine.	TYPES	1993	DBLP DOI BibTeX RDF
32	Lee Naish	Types and the Intended Meaning of Logic Programs.	Types in Logic Programming	1992	DBLP BibTeX RDF
32	Nevin Heintze, Joxan Jaffar	Semantic Types for Logic Programs.	Types in Logic Programming	1992	DBLP BibTeX RDF
32	Frank Pfenning	Dependent Types in Logic Programming.	Types in Logic Programming	1992	DBLP BibTeX RDF
32	Dean Jacobs	A Pragmatic View of Types for Logic Programs.	Types in Logic Programming	1992	DBLP BibTeX RDF
32	Peter Buneman	Data Types For Data Base Programming.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
32	Malcolm P. Atkinson 0001, Ronald Morrison	Types, Bindings and Parameters in a Persistent Environment.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
32	William E. Weihl	Linguistic Support for Atomic Data Types.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
32	Peter Buneman	Data Types For Database Programming.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
32	Malcolm P. Atkinson 0001, Ronald Morrison	Types, Bindings and Parameters in a Persistent Environment.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
32	William E. Weihl	Linguistic Support for Atomic Data Types.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
32	Alexander Borgida	Class Hierarchies in Information Systems: Sets, Types, or Prototypes?	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
32	Rod M. Burstall, Butler W. Lampson	A Kernel Language for Abstract Data Types and Modules.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
32	Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi	Abstract Data Types and Their Extensions within a Constructive Logic.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
32	Samuel N. Kamin, Myla Archer	Partial Implementations of Abstract Data Types: A Dissenting view on Errors.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
31	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
31	David Aspinall 0001	Subtyping with Power Types.	CSL	2000	DBLP DOI BibTeX RDF	subtyping, type theory, dependent types
31	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
31	Jerome Vouillon, Paul-André Melliès	Semantic types: a fresh look at the ideal model for types.	POPL	2004	DBLP DOI BibTeX RDF	ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types
30	Amal Ahmed 0001, 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
30	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
30	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
30	Michael Marz	An Algebraic View on Recursive Types.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	positive types, strong normalisation, calculus, recursive types, universal algebra
30	Luca Padovani	Session Types = Intersection Types + Union Types	ITRS	2010	DBLP DOI BibTeX RDF
30	Li Zhang	Exploring the Relationship between Elementary School Climate, School Types and Faculty's Employment Types: School Climate, School Types and Employment Types.	ICBDE	2022	DBLP DOI BibTeX RDF
30	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001	Stack-Based Typed Assembly Language.	Types in Compilation	1998	DBLP DOI BibTeX RDF
29	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
29	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
29	Daniel R. Licata, Robert Harper 0001	Positively dependent types.	PLPV	2009	DBLP DOI BibTeX RDF	agda, dependent types, polarity
29	Hendrik Knoche, John D. McCarthy, Martina Angela Sasse	How low can you go? The effect of low resolutions on shot types in mobile TV.	Multim. Tools Appl.	2008	DBLP DOI BibTeX RDF	Shot types, Mobile TV, Low resolutions
29	Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst	Dynamic inference of abstract types.	ISSTA	2006	DBLP DOI BibTeX RDF	mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units
29	Kim B. Bruce, Martin Odersky, Philip Wadler	A Statically Safe Alternative to Virtual Types.	ECOOP	1998	DBLP DOI BibTeX RDF	virtual types, static type checking, Language design, parametric polymorphism
29	Barbara Staudt Lerner	TESS: Automated Support for the Evolution of Persistent Types.	ASE	1997	DBLP DOI BibTeX RDF	TESS, Type Evolution Software System, persistent types, persistent data evolution, compound type changes, software maintenance, software maintenance
29	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
28	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
28	Maurice Herlihy, Eric Ruppert	On the Existence of Booster Types.	FOCS	2000	DBLP DOI BibTeX RDF	booster types, asynchronous concurrent models of computation, synchronization power, topological condition, solo-connectivity, deterministic one-shot types, distributed algorithms, synchronisation, upper bound, type theory, data type, concurrency theory, consensus number
28	Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach	Efficient Inference of Partial Types	FOCS	1992	DBLP DOI BibTeX RDF	partial types, heterogeneous lists, persistent data, exponential time algorithm, type inference, decidability, lambda -calculus, recursive types, finite automaton, type constraints
27	Kohei Honda 0001, Nobuko Yoshida, Marco Carbone	Multiparty asynchronous session types.	POPL	2008	DBLP DOI BibTeX RDF	multiparty, communications, causality, choreography, structured programming, session types, mobile processes
27	Atsushi Igarashi, Mirko Viroli	Variant path types for scalable extensibility.	OOPSLA	2007	DBLP DOI BibTeX RDF	scalable extensibility, variant path types, subtyping, variance
27	Atsushi Igarashi, Hideshi Nagira	Union types for object-oriented programming.	SAC	2006	DBLP DOI BibTeX RDF	java, subtyping, language design, language semantics, union types
27	Jens Palsberg, Tian Zhao 0002	Efficient and Flexible Matching of Recursive Types.	LICS	2000	DBLP DOI BibTeX RDF	Multi-language systems, algorithms, types
27	Lennart Augustsson	Cayenne - a Language with Dependent Types.	ICFP	1998	DBLP DOI BibTeX RDF	type systems, language design, dependent types, module systems
27	Ralf Hartmut Güting, Thomas de Ridder, Markus Schneider 0001	Implementation of the ROSE Algebra: Efficient Algorithms for Realm-Based Spatial Data Types.	SSD	1995	DBLP DOI BibTeX RDF	Spatial data types, realm, finite resolution, numerical robustness, ROSE, algebra, efficient algorithms, plane sweep
27	Conor McBride	What's the deal with dependent types?	TLDI	2007	DBLP DOI BibTeX RDF	epigram, pattern matching, dependent types
27	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	Boxy types: inference for higher-rank types and impredicativity.	ICFP	2006	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
26	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
26	Andreas Schramm	An Index Domain for Adaptive Multi-grid Methods.	VECPAR	2000	DBLP DOI BibTeX RDF	container types, structured-universe approach, indexable types, groups, Programming models, data parallelism, multi-grid
26	Nomusa Dlodlo, Carl Bamford	Separating Application Functionality from the User Interface in a Distributed Environment.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Object Bequest Broker, user interface manager, user interface, Middleware, abstract data types, abstract data types, user interface management system, distributed environment, application functionality
26	Tobias Nipkow	Formal Verification of Data Type Refinement - Theory and Practice.	REX Workshop	1989	DBLP DOI BibTeX RDF	Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types
26	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
26	Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich	An open and shut typecase.	TLDI	2005	DBLP DOI BibTeX RDF	intensional type analysis, generativity, reflexivity, ad-hoc polymorphism
26	Eric E. Allen, Robert Cartwright	The case for run-time types in generic Java.	PPPJ/IRE	2002	DBLP BibTeX RDF	Java
26	Wilf R. LaLonde	Designing Families of Data Types Using Exemplars.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
26	Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani	Representing Nested Inductive Types Using W-Types.	ICALP	2004	DBLP DOI BibTeX RDF
26	Dan Grossman, J. Gregory Morrisett	Scalable Certification for Typed Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
26	Michael W. Hicks, Stephanie Weirich, Karl Crary	Safe and Flexible Dynamic Linking of Native Code.	Types in Compilation	2000	DBLP DOI BibTeX RDF
26	Haruo Hosoya, Akinori Yonezawa	Garbage Collection via Dynamic Type Inference - A Fomal Treatment.	Types in Compilation	1998	DBLP DOI BibTeX RDF
26	Dominic Duggan	A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.	Types in Compilation	1998	DBLP DOI BibTeX RDF
26	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
26	Bratin Saha, Zhong Shao	Optimal Type Lifting.	Types in Compilation	1998	DBLP DOI BibTeX RDF
26	Naoki Kobayashi 0001	Type-Based Analysis of Concurrent Programs.	Types in Compilation	1998	DBLP DOI BibTeX RDF
26	Andrew Kennedy	Types for units-of-measure in f#: invited talk.	ML	2008	DBLP DOI BibTeX RDF	dimension types, polymorphic type inference, ml
26	Nobuko Yoshida	Channel dependent types for higher-order mobile processes.	POPL	2004	DBLP DOI BibTeX RDF	the higher-order ?-calculus, access control, types, secrecy, mobile processes
26	Jerome Vouillon	Subtyping Union Types.	CSL	2004	DBLP DOI BibTeX RDF	semantics, lambda-calculus, subtyping, union types
26	Dario Colazzo, Giorgio Ghelli	Subtyping Recursive Types in Kernel Fun.	LICS	1999	DBLP DOI BibTeX RDF	type theory and type systems, kernel Fun, subtyping, recursive types
26	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
25	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
25	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	J. ACM	2007	DBLP DOI BibTeX RDF	bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
25	Nils Anders Danielsson, John Hughes 0001, Patrik Jansson, Jeremy Gibbons	Fast and loose reasoning is morally correct.	POPL	2006	DBLP DOI BibTeX RDF	inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning
25	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	POPL	2005	DBLP DOI BibTeX RDF	bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
25	Robert Pollack	Dependently Typed Records in Type Theory.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble
25	John Patrick McGregor, Ruby B. Lee	Performance Impact of Data Compression on Virtual Private Network Transactions.	LCN	2000	DBLP DOI BibTeX RDF	virtual private network transactions, secure public network communications, host authentication, IP Security Protocol, IPsec transactions, network types, 1 Gbit/s, 10 Mbit/s, Internet, performance, authentication, cryptography, data integrity, data integrity, data compression, data compression, encryption, transport protocols, packet switching, cryptographic protocols, confidentiality, system model, IPsec, message authentication, data types, VPN, telecommunication networks, telecommunication security, business communication, compression algorithms, security services, cryptographic algorithms, packet sizes, 100 Mbit/s
25	Raminder Singh Bajwa, Robert Michael Owens, Mary Jane Irwin	The MGAP's programming environment and the *C++ language.	ASAP	1995	DBLP DOI BibTeX RDF	MGAP's programming environment, *C++ language, workstation co-processor board, fine grain processors, custom ASICs, class concept, parallel data-types like bit, parallel processing, compiler, programming environments, application specific integrated circuits, high-level language, data-types, C language
25	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
25	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
25	Judy M. Bishop	The Effect of Data Abstraction on Loop Programming Techniques.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction
25	Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong	The design and application of structured types in Ptolemy II.	GrC	2005	DBLP DOI BibTeX RDF
25	John Kuriakose	"Honey, i shrunk the types": how behavioral types loose relevance on the edges on OO applications and why a core data fabric is useful for adaptability.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	core data representation, data driven programming, dynamic data model, enterprise data fabric, enterprise data repository, reflective data API
25	Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury	System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.	ESOP	2004	DBLP DOI BibTeX RDF
24	Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott (eds.)	Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Aleks Kissinger	Abstract Tensor Systems as Monoidal Categories.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Oriol Valentín	The Hidden Structural Rules of the Discontinuous Lambek Calculus.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Denis Béchet	NP-Completeness of Grammars Based Upon Products of Free Pregroups.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Raffaella Bernardi	Distributional Semantics: A Montagovian View.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Bart Jacobs 0001, Alexandra Silva 0001	Initial Algebras of Terms with Binding and Algebraic Structure.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Peter Hines	Classical Structures Based on Unitaries.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Richard Moot	Extended Lambek Calculi and First-Order Linear Logic.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Claudia Casadio, Aleksandra Kislak-Malinowska	Italian Clitic Patterns in Pregroup Grammar: State of the Art.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Dusko Pavlovic	Chasing Diagrams in Cryptography.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
24	Glyn Morrill	A Categorial Type Logic.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF