Object-oriented languages, type systems, compilers, software generators, software evolution.

University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.

Browse the database of business technology software products and services. Use key word search or browse solutions by type, industry, geography, and technical environment.

speaking clock,talking clock. UK Speaking Clock uses two of the Microsoft Agent characters to announce the time and date, as well as to entertain you with onscreen antics. This speaking clock is versatile, easy-to-use app can automatically speak the time on demand or at specified intervals. Set up to 999 alarms (each of which can launch a program and announce a message) and run an unlimited number of stopwatch/countdown timers. Skin support lets you customize the clock's appearance, which can be digital or analog. Kids will enjoy the " and Speak" feature, where a character reads text entered into one of the program's settings windows. You'll also find a module to help children learn their multiplication tables, a talking calculator, a way to set your PC's time over the Internet, and the ability to read the Clipboard's contents."Type and Speak" feature, where a character reads text entered into one of the program's settings windows. You'll also find a module to help children learn their multiplication tables, a talking calculator, a way to set your PC's time over the Internet, and the ability to read the Clipboard's contents." and Speak" feature, where a character reads text entered into one of the program's settings windows. You'll also find a module to help children learn their multiplication tables, a talking calculator, a way to set your PC's time over the Internet, and the ability to read the Clipboard's contents."Type and Speak" feature, where a character reads text entered into one of the program's settings windows. You'll also find a module to help children learn their multiplication tables, a talking calculator, a way to set your PC's time over the Internet, and the ability to read the Clipboard's contents." Type Type

Library for interfacing to the Select 3 'ImageFileConvert' module stack. This system allows images of one type to be converted to another through a single SWI interface.

Freeware, shareware, commercial and demo screen savers, games, applications, and utilities. Browse by type, OS, year, price, or language.

Reduce inkjet printing and digital duplicating costs with Repeat-O-Type products.

Maps function keys to any type of text or user defined macros.

Analyze the links included in an Internet page. Depending on their file type, they will be downloaded or not. It's also possible to follow particular links and import them. [Windows 95/98/Me/NT/2000]

Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.