Session Types with Gradual Typing Peter Thiemann University of Freiburg, Georges-Khler-Allee 079, 79110 Freiburg, Germany, Abstract. Session types enable fine-grained static control over communication p

Source URL: www.cs.le.ac.uk

Embedding Polymorphic Dynamic Typing Thomas van Noort Wouter Swierstra Peter Achten

Source URL: www.staff.science.uu.nl

Typing Quest price list This price list is valid until July 31st, 2017. Prices in US dollar. Prices for K-8 Schools Payment Options and Purchase Orders

Source URL: www.typingquest.com

• Software licenses
• Concurrent user
• Copyleft
• Free and open-source software licenses
• Public copyright licenses
• Computer law

Seven habits of effective text editing Bram Moolenaar If you spend a lot of time typing plain text, writing programs or HTML, you can save much of that time by using a good editor and using it effectively. This paper wil

Source URL: moolenaar.net

Guide to Using Lightweight Directory Access Protocol with Typing Quest The guide applies to the web-based typing tutor sold under the brand name Typing Quest, TypingMaster or NäppisTaituri, depending on program language

Source URL: www.typingquest.com

• Directory services
• Lightweight Directory Access Protocol
• Active Directory
• NetIQ eDirectory
• OpenLDAP
• Group
• Password
• Comparison of mail servers
• 389 Directory Server

“Typing” passwords with voice recognition: How to authenticate to Google Glass Daniel V. Bailey Markus Dürmuth

Source URL: cups.cs.cmu.edu

Seven habits of effective text editing Bram Moolenaar If you spend a lot of time typing plain text, writing programs or HTML, you can save much of that time by using a good editor and using it effectively. This paper w

Source URL: moolenaar.net

Andrew M. Kent Contact Information Lindley Hall 215 Indiana University

Source URL: andmkent.com

• Software engineering
• Programming language theory
• Computing
• Procedural programming languages
• Functional languages
• Gradual typing
• Type system
• Programming language
• Racket
• ALGOL 68
• Io
• Association for Computing Machinery

The Potential of Dwell-Free Eye-Typing for Fast Assistive Gaze Communication

Source URL: keithv.com

Gradual Typing for Mutable Objects Jeremy G. Siek1 , Michael M. Vitousek2 , and Shashank Bharadwaj1 1 Department of Electrical, Computer, and Energy Engineering 2

Source URL: ecee.colorado.edu