Search results for "polymorphic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Geoffrey Smith 0001	Polymorphic Type Inference with Overloading and Subtyping.	TAPSOFT	1993	DBLP DOI BibTeX RDF
23	Xavier Leroy	Unboxed Objects and Polymorphic Typing.	POPL	1992	DBLP DOI BibTeX RDF	ML
23	Christian Prehofer	An Efficient Constraint Language for Polymorphic Order-sorted Resoluton.	JELIA	1992	DBLP DOI BibTeX RDF	Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification
23	Bruno Monsuez	Polymorphic Typing by Abstract Interpretation.	FSTTCS	1992	DBLP DOI BibTeX RDF
23	Michael Hanus	A Functional and Logic Language with Polymorphic Types (Extended Abstract).	DISCO	1990	DBLP DOI BibTeX RDF
23	Thom W. Frühwirth	Polymorphic Type Checking with Subtypes in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF	Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
23	Atsushi Ohori, Peter Buneman, Val Tannen	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
23	Hans Leiß	Polymorphic Recursion and Semi-Unification.	CSL	1989	DBLP DOI BibTeX RDF
23	Roland Dietrich, Frank Hagl	A Polymorphic Type System with Subtypes for Prolog.	ESOP	1988	DBLP DOI BibTeX RDF
23	Thomas R. Leap	Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Modula-2
23	Aurelio Carboni, Peter J. Freyd, Andre Scedrov	A Categorical Approach to Realizability and Polymorphic Types.	MFPS	1987	DBLP DOI BibTeX RDF
23	Ernst-Erich Doberkat	Topological Completeness in an Ideal Model for Polymorphic Types.	MFPS	1987	DBLP DOI BibTeX RDF
23	Mario Coppo	An Extended Polymorphic Type System for Applicative Languages.	MFCS	1980	DBLP DOI BibTeX RDF
18	Charles P. Pfleeger	Crypto: Not Just for the Defensive Team.	IEEE Secur. Priv.	2010	DBLP DOI BibTeX RDF	Morris worm, polymorphic viruses, packers, Virut, Virtob, Conficker, cryptography, cryptanalysis, encryption, malicious code, security & privacy
18	Daniel Smith 0003, 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
18	Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion	On Abstract Computer Virology from a Recursion Theoretic Perspective.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF	Polymorphic virus, Companion virus, Computability, Detection, Computer virus, Self-reference, Recursion theorem
18	Scott E. Spetka, George O. Ramseyer, Richard W. Linderman	Using globus grid objects to extend a corba-based object-oriented system.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	globus grid, net-centric, web, framework, distributed, services, image, inheritance, polymorphic, high-performance, CGI, corba
18	Ferruccio Damiani	Rank 2 intersection types for local definitions and conditional expressions.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	polymorphic recursion, Type inference, principal typings
18	Robert O'Callahn	A Simple, Comprehensive Type System for Java Bytecode Subroutines.	POPL	1999	DBLP DOI BibTeX RDF	polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode
18	Anthony Savidis, Alex Paramythis, Demosthenes Akoumianakis, Constantine Stephanidis	Designing User-Adapted Interfaces: The Unified Design Method for Transformable Interactions.	Symposium on Designing Interactive Systems	1997	DBLP DOI BibTeX RDF	artifact-oriented design methodologies, polymorphic task hierarchies, task-oriented design, user interfaces for all, user-adapted interaction
18	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
18	Sergei G. Vorobyov	Structural Decidable Extensions of Bounded Quantification.	POPL	1995	DBLP DOI BibTeX RDF	(W)SnS, bounded universal type quantification, essential undecidability, parametric and inheritance polymorphisms, second-order polymorphic typed ?-calculus, system F?, decidability, subtyping, undecidability
18	Sylvia L. Osborn	The Role of Polymorphism in Schema Evolution in an Object-Oriented Database.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	polymorphic object algebra, model, object-oriented programming, database management systems, object-oriented database, database theory, polymorphism, schema evolution
17	Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann 0001	Static determination of quantitative resource usage for higher-order programs.	POPL	2010	DBLP DOI BibTeX RDF	resource analysis, functional programming, types
17	Dmitry G. Korzun, Andrei V. Gurtov	A local equilibrium model for P2P resource ranking.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
17	Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao	A randomized interleaved DRAM architecture for the maintenance of exact statistics counters.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
17	Sipat Triukose, Zhihua Wen, Michael Rabinovich	Content delivery networks: how big is big enough?	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
17	Alma Riska, Erik Riedel	Evaluation of disk-level workloads at different time scales.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
17	Francesco Buccafurri, Gianluca Caminiti, Gianluca Lax	Fortifying the dalì attack on digital signature.	SIN	2009	DBLP DOI BibTeX RDF	E-signature, digital signature, vulnerability analysis
17	Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup	Runtime concepts for the C++ standard template library.	SAC	2008	DBLP DOI BibTeX RDF	runtime polymorphism, C++, generic programming, standard template library
17	Matthias Blume, Umut A. Acar, Wonseok Chae	Exception Handlers as Extensible Cases.	APLAS	2008	DBLP DOI BibTeX RDF
17	Abhishek Karnik, Suchandra Goswami, Ratan K. Guha	Detecting Obfuscated Viruses Using Cosine Similarity Analysis.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
17	Kevin Borders, Atul Prakash 0001, Mark Zielinski	Spector: Automatically Analyzing Shell Code.	ACSAC	2007	DBLP DOI BibTeX RDF
17	InSeon Yoo, Ulrich Ultes-Nitsche	Non-signature based virus detection.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF
17	Dan Grossman	Quantified types in an imperative language.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type variables, polymorphism, existential types, Cyclone
17	Meng Wang 0002, Kung Chen, Siau-Cheng Khoo	Type-directed weaving of aspects for higher-order functional languages.	PEPM	2006	DBLP DOI BibTeX RDF	type inference, functional language, aspect oriented, higher-order, weaving
17	Matthias Blume, Umut A. Acar, Wonseok Chae	Extensible programming with first-class cases.	ICFP	2006	DBLP DOI BibTeX RDF	first-class cases, duality, records, sums
17	Willem de Bruijn, Asia Slowinska, Kees van Reeuwijk, Tomás Hrubý, Li Xu, Herbert Bos	SafeCard: A Gigabit IPS on the Network Card.	RAID	2006	DBLP DOI BibTeX RDF
17	Ken Q. Pu, Alberto O. Mendelzon	Typed functional query languages with equational specifications.	CIKM	2005	DBLP DOI BibTeX RDF	functional query languages, type system, OLAP, equational logic
17	Atsushi Igarashi, Chieri Saito, Mirko Viroli	Lightweight Family Polymorphism.	APLAS	2005	DBLP DOI BibTeX RDF
17	Guoren Wang, Mengchi Liu	Extending XML with Nonmonotonic Multiple Inheritance.	DASFAA	2005	DBLP DOI BibTeX RDF	XML schema languages, nonmonotonic inheritance, element hierarchy, XML
17	Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter	Adding wildcards to the Java programming language.	SAC	2004	DBLP DOI BibTeX RDF	genericity, wildcards, parameterized types
17	Brian P. Dunphy, Uday S. Reddy	Parametric Limits.	LICS	2004	DBLP DOI BibTeX RDF	Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
17	Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard	Region inference for an object-oriented language.	PLDI	2004	DBLP DOI BibTeX RDF	downcasts, method overriding, region inference, type systems, memory management, object-oriented languages
17	Pawel Urzyczyn	My (Un)Favourite Things.	CSL	2004	DBLP DOI BibTeX RDF
17	Will Casey, Bud Mishra	A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing.	HiPC	2003	DBLP DOI BibTeX RDF
17	Alexander Troussov, Brian O'Donovan, Seppo Koskenniemi, Nikolay Glushnev	Per-node Optimization of Finite-State Mechanisms for Natural Language Processing.	CICLing	2003	DBLP DOI BibTeX RDF
17	Guoren Wang, Mengchi Liu	Extending XML Schema with Nonmonotonic Inheritance.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
17	Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella	Semantic and Syntactic Approaches to Simulation Relations.	MFCS	2003	DBLP DOI BibTeX RDF
17	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
17	Erik Ernst, David H. Lorenz	Aspects and polymorphism in AspectJ.	AOSD	2003	DBLP DOI BibTeX RDF
17	Roberta Gori, Giorgio Levi	Properties of a Type Abstract Interpreter.	VMCAI	2003	DBLP DOI BibTeX RDF
17	Vincent Simonet	Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types.	CSFW	2002	DBLP DOI BibTeX RDF
17	Janis Voigtländer	Concatenate, reverse and map vanish for free.	ICFP	2002	DBLP DOI BibTeX RDF	list abstraction, rank-2 types, shortcut deforestation, the concatenate vanishes, theorems for free, program transformation, denotational semantics, combinators, parametricity, correctness proofs
17	Maurice Bruynooghe, Wim Vanhoof, Michael Codish	Pos(T): Analyzing Dependencies in Typed Logic Programs.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Tiejun Wang, Scott F. Smith 0001	Precise Constraint-Based Type Inference for Java.	ECOOP	2001	DBLP DOI BibTeX RDF
17	Andrew Kennedy, Don Syme	Design and Implementation of Generics for the .NET Common Language Runtime.	PLDI	2001	DBLP DOI BibTeX RDF
17	Edward A. Lee, Yuhong Xiong	System-Level Types for Component-Based Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
17	Tina Yu	Polymorphism and Genetic Programming.	EuroGP	2001	DBLP DOI BibTeX RDF
17	Brian McNamara, Yannis Smaragdakis	Functional programming in C++.	ICFP	2000	DBLP DOI BibTeX RDF	C++
17	Valery Trifonov, Bratin Saha, Zhong Shao	Fully reflexive intensional type analysis.	ICFP	2000	DBLP DOI BibTeX RDF	runtime type dispatch, typed intermediate language, certified code
17	Manuel Fähndrich, Jakob Rehof, Manuvir Das	Scalable context-sensitive flow analysis using instantiation constraints.	PLDI	2000	DBLP DOI BibTeX RDF
17	Ken-etsu Fujita, Aleksy Schubert	Partially Typed Terms between Church-Style and Curry-Style.	IFIP TCS	2000	DBLP DOI BibTeX RDF
17	Martin Plümicke	Polymorphism in OBJ-P.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
17	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
17	Karl Crary	A Simple Proof Technique for Certain Parametricity Results.	ICFP	1999	DBLP DOI BibTeX RDF
17	Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo	Embedding Multiset Constraints into a Lazy Functional Logic Language.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
17	Zhong Shao	Typed Cross-Module Compilation.	ICFP	1998	DBLP DOI BibTeX RDF
17	Dominic Duggan	Finite Subtype Inference with Explicit Polymorphism.	SAS	1998	DBLP DOI BibTeX RDF
17	Fritz Schwarz	ALLTYPES: An ALgebraic Language and TYPE System.	AISC	1998	DBLP DOI BibTeX RDF
17	Chuck C. Liang	Let-Polymorphism and Eager Type Schemes.	TAPSOFT	1997	DBLP DOI BibTeX RDF
17	John C. Mitchell, Ramesh Viswanathan	Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).	ICALP	1996	DBLP DOI BibTeX RDF
17	George Horatiu Botorog, Herbert Kuchen	Efficient Parallel Programming with Algorithmic Skeletons.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
17	Amit M. Paradkar	Inter-class testing of O-O software in the presence of polymorphism.	CASCON	1996	DBLP BibTeX RDF
17	Peter W. O'Hearn, Robert D. Tennent	Parametricity and Local Variables.	J. ACM	1995	DBLP DOI BibTeX RDF	algol-like languages, local state, parametric polymorphism, logical relations
17	Robert Harper 0001, J. Gregory Morrisett	Compiling Polymorphism Using Intensional Type Analysis.	POPL	1995	DBLP DOI BibTeX RDF	ML
17	Stefan Kahrs	First-Class Polymorphism for ML.	ESOP	1994	DBLP DOI BibTeX RDF
17	Andrew Kennedy	Dimension Types.	ESOP	1994	DBLP DOI BibTeX RDF
17	Suad Alagic, Rajshekhar Sunderraman	Expressivity of Typed Logic Paradigms for Object-Oriented Databases.	BNCOD	1994	DBLP DOI BibTeX RDF
17	Roberto Di Cosmo	Type Isomorphisms in a Type-Assignment Framework.	POPL	1992	DBLP DOI BibTeX RDF	ML
17	Pierre-Louis Curien, Roberto Di Cosmo	A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.	ICALP	1991	DBLP DOI BibTeX RDF
17	F. Warren Burton	Type Extension Through Polymorphism.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
17	José Meseguer 0001	Relating Models of Polymorphism.	POPL	1989	DBLP DOI BibTeX RDF
17	John W. Gray	Initial Algebra Semantics for Lambda Calculi.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
17	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
17	Pierre Jouvelot, David K. Gifford	The FX-87 Interpreter.	ICCL	1988	DBLP DOI BibTeX RDF
17	Hans Leiß	On Type Inference for Object-Oriented Programming Languages.	CSL	1987	DBLP DOI BibTeX RDF
17	John C. Reynolds	Three Approaches to Type Structure.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
17	Mitchell Wand	A Types-as-Sets Semantics for Milner-Style Polymorphism.	POPL	1984	DBLP DOI BibTeX RDF
14	Giuseppe Castagna, Mickaël Laurent, Kim Nguyen 0001	Polymorphic Type Inference for Dynamic Languages.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
14	Guannan Wei 0001, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf	Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
14	Ulya Sabeel, Shahram Shah-Heydari, Khalil El-Khatib, Khalid Elgazzar	Unknown, Atypical and Polymorphic Network Intrusion Detection: A Systematic Survey.	IEEE Trans. Netw. Serv. Manag.	2024	DBLP DOI BibTeX RDF
14	Michael Sommerhalder, Yves Zimmermann, Jaeyong Song, Robert Riener, Peter Wolf 0001	Polymorphic Control Framework for Automated and Individualized Robot-Assisted Rehabilitation.	IEEE Trans. Robotics	2024	DBLP DOI BibTeX RDF
14	Giuseppe Castagna, Loïc Peyrot	Polymorphic Records for Dynamic Languages.	CoRR	2024	DBLP DOI BibTeX RDF
14	Rui Sun 0004, Long Chen, Lei Zhang, Ruirui Xie, Jun Gao 0006	Robust Visible-Infrared Person Re-Identification Based on Polymorphic Mask and Wavelet Graph Convolutional Network.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
14	Darius Galis, Ciprian Pungila, Viorel Negru	Realtime polymorphic malicious behavior detection in blockchain-based smart contracts.	Log. J. IGPL	2024	DBLP DOI BibTeX RDF
14	Mandeep Singh, Albert Carlson	Exploring Polymorphic Algorithms and Their Use in Cryptography.	CCWC	2024	DBLP DOI BibTeX RDF
14	Haimanti Chakraborty, Ranga Vemuri	ROBUST: RTL OBfuscation USing Bi-functional Polymorphic OperaTors.	VLSID	2024	DBLP DOI BibTeX RDF
14	Ding Wu, Chao Min, Zhijie Li, Yuejun Wang	Vigilance and habituation: Polymorphic experience effects in internet users' privacy disclosure decisions.	Decis. Support Syst.	2023	DBLP DOI BibTeX RDF