Search results for "dynamic-typing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Dominic Duggan	Dynamic Typing for Distributed Programming in Polymorphic Languages.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parametric polmorphism, dynamic typing, static typing, marshalling
76	Satish R. Thatte	Quasi-Static Typing.	POPL	1990	DBLP DOI BibTeX RDF
50	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
50	Arthur I. Baars, S. Doaitse Swierstra	Typing dynamic typing.	ICFP	2002	DBLP DOI BibTeX RDF	Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing
47	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
36	Robert Cartwright, Mike Fagan	Soft typing (with retrospective)	Best of PLDI	1991	DBLP DOI BibTeX RDF
31	Andreas Rossberg	Generativity and dynamic opacity for abstract types.	PPDP	2003	DBLP DOI BibTeX RDF	generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
29	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
28	Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer	Z0 - a tiny experimental language.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java, object-orientation, language design
24	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
21	Jeremy G. Siek, Manish Vachharajani	Gradual typing with unification-based inference.	DLS	2008	DBLP DOI BibTeX RDF	gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing
21	Joseph Gil, Yoav Zibin	Efficient dynamic dispatching with type slicing.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	CT (compact dispatch tables), type slicing, hierarchy, subtyping, message, incremental, dispatch, dynamic-typing
21	Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz	User-changeable visibility: resolving unanticipated name clashes in traits.	OOPSLA	2007	DBLP DOI BibTeX RDF	composition, information hiding, encapsulation, traits, dynamic typing
21	Andreas Rossberg	The missing link: dynamic components for ML.	ICFP	2006	DBLP DOI BibTeX RDF	pickling, components, distributed programming, modules, separate compilation, dynamic typing, dynamic linking, units
21	Nathanael Schärli, Andrew P. Black, Stéphane Ducasse	Object-oriented encapsulation for dynamically typed languages.	OOPSLA	2004	DBLP DOI BibTeX RDF	encapsulation policies, information hiding, smalltalk, encapsulation, dynamic typing
21	Yoav Zibin, Joseph Gil	Incremental algorithms for dispatching in dynamically typed languages.	POPL	2003	DBLP DOI BibTeX RDF	hierarchy, CT, message, incremental, dispatch, dynamic-typing
21	Dominic Duggan	Type-Based Hot Swapping of Running Modules.	ICFP	2001	DBLP DOI BibTeX RDF	module interconnection languages, dynamic typing, shared libraries, hot swapping
21	Stephanie Weirich	Type-safe cast: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism
21	Marinus J. Plasmeijer, Marko C. J. D. van Eekelen	Term Graph Rewriting and Mobile Expressions in Functional Languages.	AGTIVE	1999	DBLP DOI BibTeX RDF
20	Gregory T. Sullivan	Dynamic Partial Evaluation.	PADO	2001	DBLP DOI BibTeX RDF
19	Marcos Viera, Alberto Pardo	A multi-stage language with intensional analysis.	GPCE	2006	DBLP DOI BibTeX RDF	intensional analysis, reflection, dynamics, multi-stage programming
19	Christopher Anderson, Paola Giannini, Sophia Drossopoulou	Towards Type Inference for JavaScript.	ECOOP	2005	DBLP DOI BibTeX RDF
19	Reinhard Heite, Herbert Eberle	Extending DCE RPC by Dynamic Objects and Dynamic Typing.	DCE Workshop	1993	DBLP DOI BibTeX RDF
18	Lin Chen 0015, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou	A Constraint Based Bug Checking Approach for Python.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
18	Erik Meijer 0001	Visual Basic.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF
18	Daniel E. Stevenson, Andrew T. Phillips	Implementing object equivalence in Java using the template method design pattern.	SIGCSE	2003	DBLP DOI BibTeX RDF	design patterns, equals
17	Gerald Baumgartner, Vincent F. Russo	Implementing Signatures for C++.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	dispatch tables, opject interfaces, C++, C++, inheritance, polymorphism, subtyping
16	João Barbosa, Mário Florido, Vítor Santos Costa	Typed SLD-Resolution: Dynamic Typing for Logic Programming.	CoRR	2022	DBLP DOI BibTeX RDF
16	Xinmeng Xia, Yanyan Yan, Xincheng He, Di Wu 0014, Lei Xu 0003, Baowen Xu	An Empirical Study on the Impact of Python Dynamic Typing on the Project Maintenance.	Int. J. Softw. Eng. Knowl. Eng.	2022	DBLP DOI BibTeX RDF
16	João Barbosa, Mário Florido, Vítor Santos Costa	Typed SLD-Resolution: Dynamic Typing for Logic Programming.	LOPSTR	2022	DBLP DOI BibTeX RDF
16	Atsushi Ohori, Katsuhiro Ueno	A Compilation Method for Dynamic Typing in ML.	APLAS	2021	DBLP DOI BibTeX RDF
16	Zhifei Chen, Yanhui Li, Bihuan Chen 0001, Wanwangying Ma, Lin Chen 0015, Baowen Xu	An Empirical Study on Dynamic Typing Related Practices in Python Systems.	ICPC	2020	DBLP DOI BibTeX RDF
16	Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper 0001	Correctness of compiling polymorphism to dynamic typing.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
16	Atze van der Ploeg, Koen Claessen, Pablo Buiras	The Key monad: type-safe unconstrained dynamic typing.	Haskell	2016	DBLP DOI BibTeX RDF
16	Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo	HLIO: mixing static and dynamic typing for information-flow control in Haskell.	ICFP	2015	DBLP DOI BibTeX RDF
16	Wouter Swierstra, Thomas van Noort	A library for polymorphic dynamic typing.	J. Funct. Program.	2013	DBLP DOI BibTeX RDF
16	Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer	Embedding polymorphic dynamic typing.	WGP@ICFP	2011	DBLP DOI BibTeX RDF
16	Shisheng Li, Buqi Cheng, Xiao-Feng Li	TypeCastor: demystify dynamic typing of JavaScript applications.	HiPEAC	2011	DBLP DOI BibTeX RDF
16	Francisco Ortin, Daniel Zapico Palacio, J. Baltasar García Pérez-Schofield, Miguel García	Including both static and dynamic typing in the same programming language.	IET Softw.	2010	DBLP DOI BibTeX RDF
16	Thomas van Noort, Peter Achten, Rinus Plasmeijer	Ad-hoc polymorphism and dynamic typing in a statically typed functional language.	ICFP-WGP	2010	DBLP DOI BibTeX RDF
16	Francisco Ortin, Miguel García	A Programming Language That Combines the Benefits of Static and Dynamic Typing.	ICSOFT (Selected Papers)	2010	DBLP DOI BibTeX RDF
16	Michael Furr	Combining Static and Dynamic Typing in Ruby.		2009	RDF
16	Nick Benton	Undoing Dynamic Typing (Declarative Pearl).	FLOPS	2008	DBLP DOI BibTeX RDF
16	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Static and dynamic typing for the termination of mobile processes.	IFIP TCS	2008	DBLP DOI BibTeX RDF
16	Matteo Maffei	Dynamic typing for security protocols.		2006	RDF
16	Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker	Dynamic Typing with Dependent Types.	IFIP TCS	2004	DBLP DOI BibTeX RDF
16	Mark Shields, Tim Sheard, Simon L. Peyton Jones	Dynamic Typing as Staged Type Inference.	POPL	1998	DBLP DOI BibTeX RDF	Application Builder
16	Richard Connor 0001	Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs.	DBPL	1997	DBLP DOI BibTeX RDF
16	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy	Dynamic Typing in Polymorphic Languages.	J. Funct. Program.	1995	DBLP DOI BibTeX RDF
16	Alexander Aiken, Manuel Fähndrich	Dynamic Typing and Subtype Inference.	FPCA	1995	DBLP DOI BibTeX RDF
16	Fritz Henglein	Dynamic Typing: Syntax and Proof Theory.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
16	Fritz Henglein	Dynamic Typing.	ESOP	1992	DBLP DOI BibTeX RDF
16	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically Typed Language.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
16	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically-Typed Language. (long version: TOPLAS 13 (2): 237-268 (1991))	POPL	1989	DBLP DOI BibTeX RDF
12	Stefan Brunthaler 0001	Efficient inline caching without dynamic translation.	SAC	2010	DBLP DOI BibTeX RDF	inline caching, type feedback, interpreter, interpreters, python, bytecode
10	Cesare Pautasso	Composing RESTful Services with JOpera.	SC@TOOLS	2009	DBLP DOI BibTeX RDF
10	Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner	Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates.	COMPSAC	1999	DBLP DOI BibTeX RDF	Testing Object-Oriented Design Patterns, Testing Object-Oriented Frameworks, Testing
10	Jonathon Tidswell, John Potter	A Dynamically Typed Access Control Model.	ACISP	1998	DBLP DOI BibTeX RDF
9	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust, concurrent, extensible scripting on the JVM.	OOPSLA	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
9	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust concurrent scripting on the JVM.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
9	Serguei A. Mokhov, Joey Paquet, Xin Tong 0002	A type system for hybrid intensional-imperative programming support in GIPSY.	C3S2E	2009	DBLP DOI BibTeX RDF	context, type system, intensional programming, imperative programming, general intensional programming system (GIPSY)
9	Laurence Tratt	Language design: back to the future?	DLS	2008	DBLP DOI BibTeX RDF
9	Pramod G. Joisha, Prithviraj Banerjee	An algebraic array shape inference system for MATLAB.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Typeless array languages, shape algebras, term rewriting
9	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Analysis of Typed Analyses of Authentication Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
9	Lucia Acciai, Michele Boreale	XPi: A Typed Process Calculus for XML Messaging.	FMOODS	2005	DBLP DOI BibTeX RDF
9	Ward Douglas Maurer	The comparative programming languages course: a new chain of development.	SIGCSE	2002	DBLP DOI BibTeX RDF
9	François Bertault, Peter Eades	Graph Library Design.	SCCC	2000	DBLP DOI BibTeX RDF	graph library design, dynamic graph typing, safe polymorphic algorithms, object-oriented programming, graphs, graph algorithms, object oriented design, extensibility, diagrams, diagrams, software libraries, software performance
9	Marco Pil	Dynamic Types and Type Dependent Functions.	IFL	1998	DBLP DOI BibTeX RDF
9	Karel Driesen, Urs Hölzle, Jan Vitek	Message Dispatch on Pipelined Processors.	ECOOP	1995	DBLP DOI BibTeX RDF	message dispatch, performance, implementation, computer architecture
9	David J. McNally, Antony J. T. Davie	Two Models For Integrating Persistence and Lazy Functional Languages.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
9	Benjamin Goldberg	Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF