Search results for "typing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
15	João Costa Seco, Luís Caires	Types for Dynamic Reconfiguration.	ESOP	2006	DBLP DOI BibTeX RDF
15	Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn	Programming with heterogeneous structures: manipulating XML data using bondi.	ACSC	2006	DBLP BibTeX RDF	heterogeneous data structure, pattern calculus, functional programming, XML processing
15	Farooq Ahmad, Petr Musílek	A Keystroke and Pointer Control Input Interface for Wearable Computers.	PerCom	2006	DBLP DOI BibTeX RDF
15	Marcos Viera, Alberto Pardo	A multi-stage language with intensional analysis.	GPCE	2006	DBLP DOI BibTeX RDF	intensional analysis, reflection, dynamics, multi-stage programming
15	Lisa Anthony, Jie Yang 0001, Kenneth R. Koedinger	Towards the Application of a Handwriting Interface for Mathematics Learning.	ICME	2006	DBLP DOI BibTeX RDF
15	Ian Frank, Nobuhisa Sanbou, Katsuaki Terashima	Some positive effects of online gaming.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	communication, online games, psychology, MMORPG
15	Ting-Fang Wu, Ming-Chung Chen	Keyboard Adaptations for Children with Cerebral Palsy.	ICCHP	2006	DBLP DOI BibTeX RDF
15	Ming-Chung Chen, Ting-Fang Wu	An Alternative Chinese Keyboard Layout Design for Single-Digit Typists.	ICCHP	2006	DBLP DOI BibTeX RDF
15	Po-Chan Chiu, Alvin W. Yeo	Eye drawing with gaze estimation model.	ETRA	2006	DBLP DOI BibTeX RDF
15	Daniele Gunetti, Claudia Picardi	Keystroke analysis of free text.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Biometric techniques, keystroke analysis of free text, identity verification
15	Simon J. Gay, Malcolm Hole	Subtyping for session types in the pi calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
15	Jeffrey S. Goettl, Alexander W. Brugh, Bryant A. Julstrom	Call me e-mail: arranging the keyboard with a permutation-coded genetic algorithm.	SAC	2005	DBLP DOI BibTeX RDF	keyboard design, genetic algorithms, permutation coding
15	Ferruccio Damiani	Rank-2 Intersection and Polymorphic Recursion.	TLCA	2005	DBLP DOI BibTeX RDF
15	Greg Morrisett, Amal J. Ahmed 0001, Matthew Fluet	L3: A Linear Language with Locations.	TLCA	2005	DBLP DOI BibTeX RDF
15	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract.	TLCA	2005	DBLP DOI BibTeX RDF
15	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
15	Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca	Polymorphic bytecode: compositional compilation for Java-like languages.	POPL	2005	DBLP DOI BibTeX RDF	type systems, compositional analysis
15	Simon J. Gay, Rajagopal Nagarajan	Communicating quantum processes.	POPL	2005	DBLP DOI BibTeX RDF	verification, semantics, quantum computing, types, formal language, quantum communication
15	Cong-Cong Xing, Boumediene Belkhouche	The movable point problem and its resolution in object type graphs.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	type, object-oriented languages, subtyping
15	Christopher Anderson, Paola Giannini, Sophia Drossopoulou	Towards Type Inference for JavaScript.	ECOOP	2005	DBLP DOI BibTeX RDF
15	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis	Acute: high-level programming language design for distributed computation.	ICFP	2005	DBLP DOI BibTeX RDF	rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling
15	Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck	Inference of Well-Typings for Logic Programs with Application to Termination Analysis.	SAS	2005	DBLP DOI BibTeX RDF
15	J. D. Tygar	When Computer Security Crashes into Multimedia.	ISM	2005	DBLP DOI BibTeX RDF
15	Andrew Begel, Susan L. Graham	Spoken Programs.	VL/HCC	2005	DBLP DOI BibTeX RDF
15	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.	RTA	2005	DBLP DOI BibTeX RDF
15	Daniele Gunetti, Claudia Picardi, Giancarlo Ruffo	Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text.	AI*IA	2005	DBLP DOI BibTeX RDF
15	Sigal Trattner, Hayit Greenspan, Gabi Tepper, Shimon Abboud	Automatic identification of bacterial types using statistical imaging methods.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
15	Holger Gast	Explaining ML Type Errors by Data Flows.	IFL	2004	DBLP DOI BibTeX RDF
15	Nicola Tomatis, Roberto Brega, Gabrio Rivera, Roland Siegwart	"May you have a Strong (-typed) Foundation" why Strong-typed Programming Languages do Matter.	ICRA	2004	DBLP DOI BibTeX RDF
15	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
15	Hayo Thielecke	Answer Type Polymorphism in Call-by-Name Continuation Passing.	ESOP	2004	DBLP DOI BibTeX RDF
15	Anirudha Joshi, Ashish Ganu, Aditya Chand, Vikram Parmar, Gaurav Mathur	Keylekh: a keyboard for text entry in indic scripts.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	appropriate design, indian language computing, multi-cultural design, road shows, text input devices, competition, digital divide, iterative design
15	Sooyoung Kim, Gerard Jounghyun Kim	Using keyboards with head mounted displays.	VRCAI	2004	DBLP DOI BibTeX RDF	alphanumeric input, calibration, tangible interaction, head mounted display
15	Oleg Spakov, Darius Miniotas	On-line adjustment of dwell time for target selection by gaze.	NordiCHI	2004	DBLP DOI BibTeX RDF	eye tracking, text entry, eye movements, virtual keyboards
15	Grigori E. Evreinov, Roope Raisamo	Optimizing Menu Selection Process for Single-Switch Manipulation.	ICCHP	2004	DBLP DOI BibTeX RDF
15	Marc Spaniol, Luise Springer, Ralf Klamma, Matthias Jarke	SOCRATES: Barrier Free Communities of Aphasics on the Internet.	ICCHP	2004	DBLP DOI BibTeX RDF
15	Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay	Session Types for Functional Multithreading.	CONCUR	2004	DBLP DOI BibTeX RDF	static typechecking, specification of communication protocols, concurrent programming, Session types
15	Kent Lyons, Daniel Plaisted, Thad Starner	Expert Chording Text Entry on the Twiddler One-Handed Keyboard.	ISWC	2004	DBLP DOI BibTeX RDF
15	José Espírito Santo, Luís Pinto 0001	Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.	TLCA	2003	DBLP DOI BibTeX RDF
15	Robert Kießling, Zhaohui Luo	Coercions in Hindley-Milner Systems.	TYPES	2003	DBLP DOI BibTeX RDF
15	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
15	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
15	Libin Wang, Kefei Chen	A Typed Theory for Access Control and Information Flow Control in Mobile Systems.	ACISP	2003	DBLP DOI BibTeX RDF
15	Martin Elsman	Garbage collection safety for region-based memory management.	TLDI	2003	DBLP DOI BibTeX RDF	region inference, garbage collection, standard ML
15	Fabian Monrose, Michael K. Reiter, Susanne Wetzel	Password hardening based on keystroke dynamics.	Int. J. Inf. Sec.	2002	DBLP DOI BibTeX RDF	Security, Biometrics, Key generation, Cryptographic
15	Matthew Hennessy, James Riely	Information flow vs. resource access in the asynchronous pi-calculus.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference
15	J. Gregory Morrisett	Analysis issues for cyclone.	PASTE	2002	DBLP DOI BibTeX RDF
15	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni	A Syntactic Approach to Foundational Proof-Carrying Code.	LICS	2002	DBLP DOI BibTeX RDF
15	Francisco J. Gutiérrez, Margarita M. Lerma-Rascón, Luis R. Salgado-Garza, Francisco J. Cantu	Biometrics and Data Mining: Comparison of Data Mining-Based Keystroke Dynamics Methods for Identity Verification.	MICAI	2002	DBLP DOI BibTeX RDF
15	John Thomas Riley	Automatic Code Writing Agent.	WRAC	2002	DBLP DOI BibTeX RDF
15	Norman Danner	Ramified Recurrence with Dependent Types.	TLCA	2001	DBLP DOI BibTeX RDF
15	Hiroshi Nakano	Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness.	TACS	2001	DBLP DOI BibTeX RDF
15	Mirko Viroli, Antonio Natali	Parametric polymorphism in Java: an approach to translation based on reflective features.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
15	Catherine Dubois	Proving ML Type Soundness Within Coq.	TPHOLs	2000	DBLP DOI BibTeX RDF
15	Frédéric Prost	A Static Calculus of Dependencies for the lambda-Cube.	LICS	2000	DBLP DOI BibTeX RDF
15	Christopher A. Stone, Robert Harper 0001	Deciding Type Equivalence with Singleton Kinds.	POPL	2000	DBLP DOI BibTeX RDF
15	Haruo Hosoya, Benjamin C. Pierce	XDuce: A Typed XML Processing Language (Preliminary Report).	WebDB (Selected Papers)	2000	DBLP DOI BibTeX RDF
15	Yuhong Xiong, Edward A. Lee	An Extensible Type System for Component-Based Design.	TACAS	2000	DBLP DOI BibTeX RDF
15	Abdul Manan Ahmad, Nik Nailah Abdullah	User Authentication via Neural Network.	AIMSA	2000	DBLP DOI BibTeX RDF
15	David Aspinall 0001	Subtyping with Power Types.	CSL	2000	DBLP DOI BibTeX RDF	subtyping, type theory, dependent types
15	Raymie Stata, Martín Abadi	A Type System for Java Bytecode Subroutines.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	Java, Java, bytecode verification
15	Fabian Monrose, Michael K. Reiter, Susanne Wetzel	Password Hardening Based on Keystroke Dynamics.	CCS	1999	DBLP DOI BibTeX RDF
15	Marinus J. Plasmeijer, Marko C. J. D. van Eekelen	Term Graph Rewriting and Mobile Expressions in Functional Languages.	AGTIVE	1999	DBLP DOI BibTeX RDF
15	Susan Brennan, Justina O. Ohaeri	Why do electronic conversations seem less polite? the costs and benefits of hedging.	WACC	1999	DBLP DOI BibTeX RDF	groups., multimedia, communication, politeness, hedges
15	Bernhard Suhm, Brad A. Myers, Alex Waibel	Model-Based and Empirical Evaluation of Multimodal Interactive Error Correction.	CHI	1999	DBLP DOI BibTeX RDF	interactive error correction, quantitive performance model, multimodal interaction, speech user interfaces, speech and pen input
15	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
15	Svetlozar Nestorov, Serge Abiteboul, Rajeev Motwani 0001	Extracting Schema from Semistructured Data.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
15	Wolfram Kahl	Interally Typed Second-Order Term Graphs.	WG	1998	DBLP DOI BibTeX RDF
15	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
15	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
15	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
15	Anindya Banerjee 0001	A Modular, Polyvariant, and Type-Based Closure Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
15	David S. Wise, Joshua Walgenbach	Static and Dynamic Partitioning of Pointers as Links and Threads.	ICFP	1996	DBLP DOI BibTeX RDF	tags, garbage collection, storage management, reference counting
15	Philip S. Santas	Conditional Categories and Domains.	DISCO	1996	DBLP DOI BibTeX RDF
15	My Hoang, John C. Mitchell	Lower Bounds on Type Inference with Subtypes.	POPL	1995	DBLP DOI BibTeX RDF
15	Wolfgang Gehrke	Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad.	RTA	1995	DBLP DOI BibTeX RDF
15	Satish R. Thatte	Semantics of Type Classes Revisited.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Haskell
15	Alberto O. Mendelzon, Tova Milo, Emmanuel Waller	Object Migration.	PODS	1994	DBLP DOI BibTeX RDF	C
15	Vasco Thudichum Vasconcelos	Typed Concurrent Objects.	ECOOP	1994	DBLP DOI BibTeX RDF
15	Vyacheslav B. Muchnick, Alexander V. Shafarenko, Carl David Sutton	Data-Parallel Portable Software Platform: Principles and Implementation.	PARLE	1993	DBLP DOI BibTeX RDF
15	David J. Pym, Lincoln A. Wallen	Investigations into Proof-Search in a System of First-Order Dependent Function Types.	CADE	1990	DBLP DOI BibTeX RDF
15	James W. O'Toole Jr., David K. Gifford	Type Reconstruction with First-Class Polymorphic Values.	PLDI	1989	DBLP DOI BibTeX RDF
15	Mitchell Wand	Embedding Type Structure in Semantics.	POPL	1985	DBLP DOI BibTeX RDF
15	Mitchell Wand	A Types-as-Sets Semantics for Milner-Style Polymorphism.	POPL	1984	DBLP DOI BibTeX RDF
15	Paul T. Brady	Writing an online debugging program for the experienced user.	Commun. ACM	1968	DBLP DOI BibTeX RDF	utility program, debugging, programming languages
13	Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su 0001	API-Driven Program Synthesis for Testing Static Typing Implementations.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
13	John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen 0008	Type-Based Gradual Typing Performance Optimization.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
13	Ensar Arif Sagbas, Serkan Balli	Machine learning-based novel continuous authentication system using soft keyboard typing behavior and motion sensor data.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
13	Qiqi Gu, Wei Ke 0001	Typing Requirement Model as Coroutines.	IEEE Access	2024	DBLP DOI BibTeX RDF
13	Baolei Wang, Xuan Zhang 0002, Jishu Wang, Chen Gao, Qing Duan, LinYu Li	Fine-grained cybersecurity entity typing based on multimodal representation learning.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
13	Hanqing Zhao, Zhiyu An, Tianqi Chang, Yujing Yang, Tingting Lin	A Novel 2-D Inversion Method for Low-Field NMR Working on Fluid Typing.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
13	Guillermo Calahorra-Candao, María José Martín De Hoyos	From Typing to Talking: Unveiling AI's Role in the Evolution of Voice Assistant Integration in Online Shopping.	Inf.	2024	DBLP DOI BibTeX RDF
13	Alireza Taheritajar, Reza Rahaeimehr	Acoustic Side Channel Attack on Keyboards Based on Typing Patterns.	CoRR	2024	DBLP DOI BibTeX RDF
13	Inhwa Song, Sachin R. Pendse, Neha Kumar 0001, Munmun De Choudhury	The Typing Cure: Experiences with Large Language Model Chatbots for Mental Health Support.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yu Zhang, Yunyi Zhang, Yanzhen Shen, Yu Deng 0004, Lucian Popa 0001, Larisa Shwartz, ChengXiang Zhai, Jiawei Han 0001	Seed-Guided Fine-Grained Entity Typing in Science and Engineering Domains.	CoRR	2024	DBLP DOI BibTeX RDF
13	Sergey Korchagin, Ekaterina Zaychenkova, Egor Ershov, Pavel Pishchev, Yuri Yu. Vengerov	Image-based second opinion for blood typing.	Health Inf. Sci. Syst.	2024	DBLP DOI BibTeX RDF
13	Chenghao Su, Lin Chen, Yanhui Li, Yuming Zhou	Static Blame for gradual typing.	J. Funct. Program.	2024	DBLP DOI BibTeX RDF
13	Liang-Ting Chen 0001, Hsiang-Shang Ko	A Formal Treatment of Bidirectional Typing.	ESOP (1)	2024	DBLP DOI BibTeX RDF
13	Thiago Felicissimo	Generic bidirectional typing for dependent type theories.	ESOP (1)	2024	DBLP DOI BibTeX RDF