Search results for "typing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
202	Chun-Hung Lin, Eric Zhi-Feng Liu	Do Improve Typing Skill But No Significant Difference between Drill-Based and Game-Based Typing Software.	Edutainment	2009	DBLP DOI BibTeX RDF	Typing speed, Drill-based typing software, Game-based typing software, Computer-assisted instruction
97	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
90	Akiyo Kano	MECE method for categorising typing errors.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	categorising error, children's typing, typing error classification, text input, dyslexia, typing errors, classification method
89	John Paulin Hansen, Kristian Tørning, Anders Sewerin Johansen, Kenji Itoh, Hirotaka Aoki	Gaze typing compared with input by head and hand.	ETRA	2004	DBLP DOI BibTeX RDF	eye mouse, head mouse, eye tracking, assistive technology, eye typing, alternative communication, computer input devices
82	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
82	Vasco Thudichum Vasconcelos, Kohei Honda 0001	Principal Typing Schemes in a Polyadic pi-Calculus.	CONCUR	1993	DBLP DOI BibTeX RDF
82	Satish R. Thatte	Quasi-Static Typing.	POPL	1990	DBLP DOI BibTeX RDF
76	Serge Abiteboul, Georg Gottlob, Marco Manna	Distributed XML design.	PODS	2009	DBLP DOI BibTeX RDF	distributed XML, xml typing, dtd, xml-schema
75	Hirotaka Aoki, John Paulin Hansen, Kenji Itoh	Learning gaze typing: what are the obstacles and what progress to expect?	Univers. Access Inf. Soc.	2009	DBLP DOI BibTeX RDF	Gaze typing, Dwell time gaze typing system, Gaze metrics, Learning process
74	Changxu Wu, Yili Liu	Queuing Network Modeling of Transcription Typing.	ACM Trans. Comput. Hum. Interact.	2008	DBLP DOI BibTeX RDF	cognitive modeling, typing, human performance, Queuing network
74	H. Becht, John Staples	Soft Typing of General First-Order Languages.	APSEC	1995	DBLP DOI BibTeX RDF	soft typing, many-sorted logics, type theory, type checking, parametric polymorphism
72	Ken Iwasaki, Takashi Miyaki, Jun Rekimoto	Expressive typing: a new way to sense typing pressure and its applications.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	user interface, non-verbal communication, physiological sensing
67	Shaun K. Kane, Jacob O. Wobbrock, Mark Harniss, Kurt L. Johnson	TrueKeys: identifying and correcting typing errors for people with motor impairments.	IUI	2008	DBLP DOI BibTeX RDF	minimum string distance, error correction, motor impairments, typing errors, computer access, spell checking
67	Päivi Majaranta, I. Scott MacKenzie, Anne Aula, Kari-Jouko Räihä	Effects of feedback and dwell time on eye typing speed and accuracy.	Univers. Access Inf. Soc.	2006	DBLP DOI BibTeX RDF	Feedback modalities, Text entry, People with disabilities, Eye typing
65	Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn	09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs.	Typing, Analysis and Verification of Heap-Manipulating Programs	2009	DBLP BibTeX RDF
65	Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn	09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs.	Typing, Analysis and Verification of Heap-Manipulating Programs	2009	DBLP BibTeX RDF
61	Akiyo Kano, Janet C. Read, Alan J. Dix, I. Scott MacKenzie	ExpECT: an expanded error categorisation method for text input.	BCS HCI (1)	2007	DBLP DOI BibTeX RDF	error categorization, children, error analysis, text input, keyboards, typing error
59	Per Ola Kristensson, Shumin Zhai	Relaxing stylus typing precision by geometric pattern matching.	IUI	2005	DBLP DOI BibTeX RDF	spell checker, stylus keyboard, Fitts' law, text input, virtual keyboard, typing errors, typing correction
59	Yuh-Chuan Shih, Bi-Fen Tsai	Splint Effect on the Range of Wrist Motion and Typing Performance.	HCI (17)	2007	DBLP DOI BibTeX RDF	Splint, Range of wrist motion, Typing
59	Weide Chang	Improving hidden Markov models with a similarity histogram for typing pattern biometrics.	IRI	2005	DBLP DOI BibTeX RDF
57	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
53	James Clawson, Kent Lyons, Thad Starner, Edward Clarkson	The Impacts of Limited Visual Feedback on Mobile Text Entry for the Twiddler and Mini-QWERTY Keyboards.	ISWC	2005	DBLP DOI BibTeX RDF
52	Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv (eds.)	Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009	Typing, Analysis and Verification of Heap-Manipulating Programs	2009	DBLP BibTeX RDF
52	David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen	Minimal Ownership for Active Objects.	Typing, Analysis and Verification of Heap-Manipulating Programs	2009	DBLP BibTeX RDF
51	Christopher Pinchak, Davood Rafiei, Dekang Lin	Answer typing for information retrieval.	CIKM	2009	DBLP DOI BibTeX RDF	answer typing, discriminative methods, preference ranking, relevance, query log
51	Jim Steel, Jean-Marc Jézéquel	On model typing.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	MDA, Model transformation, Type systems, Metamodelling, Typing, MOF
51	Kenji Itoh, Hirotaka Aoki, John Paulin Hansen	A comparative usability study of two Japanese gaze typing systems.	ETRA	2006	DBLP DOI BibTeX RDF	Japanese text typing, usability, assistive technology, gaze interaction, alternative communication
51	Falko Kuester, Michelle Chen, Mark E. Phair, Carsten Mehring	Towards keyboard independent touch typing in VR.	VRST	2005	DBLP DOI BibTeX RDF	glove input, keyboard independent touch-typing, wearable devices for augmented reality, interaction techniques
51	Päivi Majaranta, Anne Aula, Kari-Jouko Räihä	Effects of feedback on eye typing with a short dwell time.	ETRA	2004	DBLP DOI BibTeX RDF	feedback, text entry, eye typing, disabled users
51	Neil Coburn, Grant E. Weddell	Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies.	DOOD	1991	DBLP DOI BibTeX RDF	constraints, typing, functional dependencies, specialization, complex objects, object-oriented data models, equations
51	Dan Witzner Hansen, John Paulin Hansen	Eye typing with common cameras.	ETRA	2006	DBLP DOI BibTeX RDF
51	Kent Lyons, Thad Starner, Daniel Plaisted, James Fusia, Amanda Lyons, Aaron Drew, E. W. Looney	Twiddler typing: one-handed chording text entry for mobile phones.	CHI	2004	DBLP DOI BibTeX RDF	mobile phones, text entry, chording, keypad input, multi-tap
46	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Visibly pushdown automata for streaming XML.	WWW	2007	DBLP DOI BibTeX RDF	XML, query, typing, schema, streaming algorithms, pushdown automata
46	Wim Martens, Matthias Niewerth, Thomas Schwentick	Schema design for XML repositories: complexity and tractability.	PODS	2010	DBLP DOI BibTeX RDF	language primality, complexity, xml, xml schemas
44	Chieko Matsuyama, Toyoshiro Nakashima, Naohiro Ishii	Effect of Touch-Typing Practices in Computer Literacy and Evaluation of Its Continuity.	SNPD	2011	DBLP DOI BibTeX RDF	Touch-typing, Effect of typing practice, Continuity
44	Jorge Martinez 0001, Eric Richard Zenk	Nuclear Typing of Frames vs Spatial Selectors.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	nuclear typing, spatial selector, algebraic frame and space, exactness of typing, frame, patch
44	Mario H. Urbina, Anke Huckauf	Alternatives to single character entry and dwell time selection on eye typing.	ETRA	2010	DBLP DOI BibTeX RDF	user interfaces, eye tracking, input devices, longitudinal study, gaze control, eye-typing, selection methods
44	Päivi Majaranta, I. Scott MacKenzie, Anne Aula, Kari-Jouko Räihä	Auditory and visual feedback during eye typing.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	feedback modalities, text entry, eye typing, disabled users
44	Päivi Majaranta, Kari-Jouko Räihä	Twenty years of eye typing: systems and design issues.	ETRA	2002	DBLP DOI BibTeX RDF	eye tracking, Eye typing, alternative communication
44	Mikael Goldstein, Robert Book, Gunilla Alsiö, Silvia Tessa	Non-Keyboard QWERTY Touch Typing: A Portable Input Interface for The Mobile User.	CHI	1999	DBLP DOI BibTeX RDF	QWERTY, lexical knowledge, syntactic knowledge, touch-typing, PDA, language model, portability, text input, Wizard-of-Oz, keyboard, mobile user, stylus input
44	Szabolcs Rozsnyai, Josef Schiefer, Alexander Schatten	Concepts and models for typing events for event-based systems.	DEBS	2007	DBLP DOI BibTeX RDF	service oriented architecture, complex event processing, event model, event stream processing
44	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
44	Azweeda Dahalan, Momoh-Jimoh E. Salami, Weng Kin Lai, Ahmad Faris Ismail	Intelligent Pressure-Based Typing Biometrics System.	KES	2004	DBLP DOI BibTeX RDF
44	Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell	Security by typing.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Intruder abilities, Authentication, Integrity, Type System, Cryptographic Protocols, Secrecy
44	Robert Cartwright, Mike Fagan	Soft typing (with retrospective)	Best of PLDI	1991	DBLP DOI BibTeX RDF
44	David Livingstone, Hamid Gharib	Data Typing in APL.	APL	1989	DBLP DOI BibTeX RDF	APL
39	David Kim, Joseph S. Valacich, Jeffrey L. Jenkins, Manasvi Kumar	Typing Fast versus Typing Slow: Using Typing Dynamics to Reveal Authentic and Imposter Users.	HICSS	2023	DBLP BibTeX RDF
38	Javier San Agustin, Henrik H. T. Skovsgaard, Emilie Møllenbach, Maria Barret, Martin Tall, Dan Witzner Hansen, John Paulin Hansen	Evaluation of a low-cost open-source gaze tracker.	ETRA	2010	DBLP DOI BibTeX RDF	gaze typing, low cost, augmentative and alternative communication, gaze interaction, off-the-shelf components
38	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
38	Giovanni Lagorio, Elena Zucca	Introducing safe unknown types in Java-like languages.	SAC	2006	DBLP DOI BibTeX RDF	java-like languages, type-systems, static typing
38	Shari Trewin	An invisible keyguard.	ASSETS	2002	DBLP DOI BibTeX RDF	OverlapKeys, keyguard, accessibility, keyboard, motor disabilities, typing errors
38	José Espírito Santo, Silvia Ghilezan, Jelena Ivetic	Characterising Strongly Normalising Intuitionistic Sequent Terms.	TYPES	2007	DBLP DOI BibTeX RDF
38	Pilsung Kang 0001, Sunghoon Park, Sungzoon Cho, Seongseob Hwang, Hyoungjoo Lee	The Effectiveness of Artificial Rhythms and Cues in Keystroke Dynamics Based User Authentication.	WISI	2006	DBLP DOI BibTeX RDF
38	Nobuko Yoshida, Matthew Hennessy	Assigning Types to Processes.	LICS	2000	DBLP DOI BibTeX RDF	higher-order pi-calculus, distributed systems, concurrency, type system, subtyping
36	Päivi Majaranta, Ulla-Kaija Ahola, Oleg Spakov	Fast gaze typing with an adjustable dwell time.	CHI	2009	DBLP DOI BibTeX RDF	gaze input, gaze typing, text entry, longitudinal study
36	Iman Habib, Niklas Berggren, Erik Rehn, Gustav Josefsson, Andreas M. Kunz, Morten Fjeld	DGTS: Integrated Typing and Pointing.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	multi pointer, typing, pointing, touchpad, Capacitive sensing
36	I. Scott MacKenzie, Xuang Zhang	Eye typing using word and letter prediction and a fixation algorithm.	ETRA	2008	DBLP DOI BibTeX RDF	button size, fixation algorithm, letter prediction, eye tracking, word prediction, eye typing
36	Alen Peacock, Xian Ke, Matthew Wilkerson	Typing Patterns: A Key to User Identification.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	Keystroke, Security, Pattern Recognition, Authentication, Authentication, Biometrics, Typing, Intellectual Property, User Authentication, network-level security and protection, Security and Privacy Protection, User Identification
36	Kazuhiro Terajima, Takashi Komuro, Masatoshi Ishikawa	Fast finger tracking system for in-air typing interface.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	embedded computer vision., vision-based ui, portable device
36	Phaedra Agius, Barry Kreiswirth, Steve Naidich, Kristin P. Bennett	Typing Staphylococcus aureus Using the spa Gene and Novel Distance Measures.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	sequence algorithms, staphylococcus aureus, moleuclar epidemiology, clustering, genotyping
36	Wahyudi Martono, Hasimah Ali, Momoh-Jimoh E. Salami	Keystroke Pressure-Based Typing Biometrics Authentication System Using Support Vector Machines.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	keystroke, maximum pressure, time latency and support vector machine, security, Biometric
36	Jim Steel, Jean-Marc Jézéquel	Model Typing for Improving Reuse in Model-Driven Engineering.	MoDELS	2005	DBLP DOI BibTeX RDF
36	Weihong Qi, David W. Lacher, Alyssa C. Bumbaugh, Katie E. Hyma, Lindsey M. Ouellette, Teresa M. Large, Cheryl L. Tarr, Thomas S. Whittam	EcMLST: An Online Database for Multi Locus Sequence Typing of Pathogenic Escherichia coli.	CSB	2004	DBLP DOI BibTeX RDF
36	Shereen Yong, Weng-Kin Lai, George G. Coghill	Weightless Neural Networks for Typing Biometrics Authentication.	KES	2004	DBLP DOI BibTeX RDF
34	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
31	Behrooz Ashtiani, I. Scott MacKenzie	BlinkWrite2: an improved text entry method using eye blinks.	ETRA	2010	DBLP DOI BibTeX RDF	blink detection, blink input, blink typing, hands free text-entry, locked-in syndrome, scanning ambiguous keyboard, single input modality, assistive technologies, eye typing, alternative communication
31	Stefan Holdermans, Jurriaan Hage	Making "stricterness" more relevant.	PEPM	2010	DBLP DOI BibTeX RDF	explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
31	Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel	Generic Model Refactorings.	MoDELS	2009	DBLP DOI BibTeX RDF	Model Typing, Adaptation, Genericity, Refactoring, Aspect Weaving
31	Akiyo Kano, Janet C. Read	Causes of Simultaneous Keystrokes in Children and Adults.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	Typing error analysis, Simultaneous keystrokes, Zero Time keystrokes, Adjacent letter Errors, Transposition Error
31	Levent V. Orman	Browsing databases with constraint hierarchies.	Electron. Commer. Res.	2008	DBLP DOI BibTeX RDF	Database browsing, Market search, Electronic markets, Data typing, Database application, Constraint hierarchies, Incremental search
31	Jacob O. Wobbrock, James Rubinstein, Michael W. Sawyer, Andrew T. Duchowski	Longitudinal evaluation of discrete consecutive gaze gestures for text entry.	ETRA	2008	DBLP DOI BibTeX RDF	gestures, text entry, text input, eye-typing
31	Dan Witzner Hansen, Henrik H. T. Skovsgaard, John Paulin Hansen, Emilie Møllenbach	Noise tolerant selection by gaze-controlled pan and zoom in 3D.	ETRA	2008	DBLP DOI BibTeX RDF	mobile displays, eye tracking, assistive technology, zooming, 3D interfaces, gaze interaction, eye typing, alternative communication, computer input devices
31	Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	Java object header elimination for reduced memory consumption in 64-bit virtual machines.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	64-bit implementation, Java object model, implicit typing, typed virtual addressing, Virtual machine
31	Jurriaan Hage, Stefan Holdermans, Arie Middelkoop	A generic usage analysis with subeffect qualifiers.	ICFP	2007	DBLP DOI BibTeX RDF	uniqueness typing, type and effect systems, qualified types, sharing analysis
31	Tom Stocky, Alexander Faaborg, Henry Lieberman	A commonsense approach to predictive text entry.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	open mind common sense, typing aids, predictive interfaces
31	Steve Reeves, David Streader	Comparison of Data and Process Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF	process refinement, sub-typing, Z, labelled transition systems, data refinement
31	Warwick B. Mugridge, John Hamer, John G. Hosking	Multi-Methods in a Statically-Typed Programming Language.	ECOOP	1991	DBLP DOI BibTeX RDF	contravariance, object-oriented, polymorphism, static-typing, multi-methods
31	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
30	Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida	On Progress for Structured Communications.	TGC	2007	DBLP DOI BibTeX RDF
30	Pilsung Kang 0001, Seongseob Hwang, Sungzoon Cho	Continual Retraining of Keystroke Dynamics Based Authenticator.	ICB	2007	DBLP DOI BibTeX RDF
30	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
30	Zhenyue Deng, Geoffrey Smith 0001	Lenient Array Operations for Practical Secure Information Flow.	CSFW	2004	DBLP DOI BibTeX RDF
30	Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu	Construction of a Semantic Model for a Typed Assembly Language.	VMCAI	2004	DBLP DOI BibTeX RDF
30	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
30	Premkumar T. Devanbu, Michael Gertz 0001, Brian Toone	Static Type-Inference for Trust in Distributed Information Systems.	OTM	2003	DBLP DOI BibTeX RDF
30	Hongwei Xi	Unifying object-oriented programming with typed functional programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	DML, object-oriented, dependent types
30	J. B. Wells	The Essence of Principal Typings.	ICALP	2002	DBLP DOI BibTeX RDF
30	David Aspinall 0001, Martin Hofmann 0001	Another Type System for In-Place Update.	ESOP	2002	DBLP DOI BibTeX RDF
30	Shumin Zhai, Alison E. Sue, Johnny Accot	Movement model, hits distribution and learning in virtual keyboarding.	CHI	2002	DBLP DOI BibTeX RDF	expanding rehearsal, graphical keyboard, mobile computing, learning, memory, text entry, Fitts' law, text input, virtual keyboard, soft keyboard, skill acquisition, on screen keyboard
30	Nobuhiro Morita, Makoto Haraguchi, Yoshiaki Okubo	A Method of Similarity-Driven Knowledge Revision for Type Specializations.	ALT	1999	DBLP DOI BibTeX RDF
30	Ronald T. House	Thoughts on "Extended Pascal - Illustrative Examples".	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal
29	Han-Chi Hsiao, Fong-Gong Wu, Ronald Hsi, Chih-I Ho, Wen-Zhou Shi, Chien-Hsu Chen	The Evaluation of Operating Posture in Typing the QWERTY Keyboard on PDA.	HCI (15)	2009	DBLP DOI BibTeX RDF	Letters Key Design, PDA Typing Posture
29	James Riely, Matthew Hennessy	Trust and Partial Typing in Open Systems of Mobile Agents.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	partial typing, trust, type safety
29	Richard W. Kopak	Functional link typing in hypertext.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	link taxonomies, electronic publishing, link typing
28	Andrés Vignaga, Frédéric Jouault, M. Cecilia Bastarrica, Hugo Bruneliere	Typing in Model Management.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
28	James Clawson, Kent Lyons, Alex Rudnick, Robert A. Iannucci, Thad Starner	Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing.	CHI	2008	DBLP DOI BibTeX RDF	keyboard input, mini-qwerty, mobile text input, mobile phones, error correction, mobile text entry
28	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
28	Michal Choras, Piotr Mroczkowski	Recognizing Individual Typing Patterns.	IbPRIA (2)	2007	DBLP DOI BibTeX RDF
28	Dimitris Mostrous, Nobuko Yoshida	Two Session Typing Systems for Higher-Order Mobile Processes.	TLCA	2007	DBLP DOI BibTeX RDF
28	Jeremy G. Siek, Walid Taha	Gradual Typing for Objects.	ECOOP	2007	DBLP DOI BibTeX RDF