|
|
type scheme
A typing of an expression which may include type variables.
E.g.
\ x . x :: a -> a
where a is a generic type variable which may be instantiated
to any type.
(1994-10-31)
Try this search on OneLook / Google
Nearby terms:
TypedProlog « typeface « type inference « type scheme » typo » typographical error » TYPOL
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Dynabook USB 3-Button Mini Optical Mouse (Beige)Dynabook USB 3-Button Mini Optical Mouse (Beige) ** Dynabook USB 3-Button Mini Optical Scroll Mouse **This Dynabook Mini Optical Mouse is the perfect solution for the mobile professional that needs space when using an external mouse. It features a USB interface with 3-buttons and comes in an ergonomic design for comfortable navigation!General Features:- Beige- USB interface- Mini optical mouse- 3-buttons- Scroll wheel acts as third button- Ergonomic design- 32-inch cord length (approximate)Regulatory Approvals:- FCC- CE- CSA- TUV- C-Tick- BSMINotes:- Mouse only- Coke can not included Compatibility/Requirements/Disclosures: ** Requirements *** PC Requirements:* Windows 98/ME/2000/XP* Available USB port* Macintosh Requirements:* Mac OS 8.6 or higher* Available USB port More ...
Sejin 104-Key Spanish PS/2 KeyboardSejin 104-Key Spanish PS/2 Keyboard ** Sejin 104-Key Spanish PS/2 Keyboard **General Features:- Spanish language- 104 Keys- Membrane type keyboard- Dimensions: 457 x 160 x 38mm- Laser printed key legends- PS/2 Connector- 3.5mm Key-Travel- Certifications: FCC, UL, CSA, CE- OS Compatibility: Windows 95, 98, 2000, ME, XP, NTRetail box includes:- Keyboard onlyNotes:- Sejin model SKR-1104ITPSCompatibility/Requirements/Disclosures:** Requirements *** PS/2 keyboard port More ...
Serial-ATA to ATA/ATAPI IDE Interface AdapterSerial-ATA to ATA/ATAPI IDE Interface Adapter ** Serial-ATA to ATA/ATAPI IDE Interface Adapter **This adapter allows you to convert a IDE drive for use with a SATA connector. Take your new board with SATA connectors and use your standard IDE drives with this amazing device.General Features:- One to One Serial ATA (SATA) to Parallel ATA interface adapter- Compliant with Serial ATA 1.0 specification- Supports data rate of 1.5Gb/s for Serial ATA mode transferring- Supports Ultra ATA 133 and backward compatibility- Support 3.5” IDE hard drive and 5.25” CDROM- Power-On and Read/Write access LED indicators- Driverless (No driver required)Power adapter Features:- Convert a single 12V input to FDD and HDD power connectors with 5V and 12V outputs- Suitable for any 3.5-inch Hard Drives and 5.25-inch Optical devices - Built-in On/Off switch- Two LED indicators showing operation status of 5V and 12V - Specially designed to suit any 12V power supply with at least 1.6 AmpereSpecifications:- Serial-ATA (SATA) Interface- Serial-ATA 1.0 specification compliant- External power connector- IDE Interface- Support ATA PIO and UDMA modes- Support 3.5-inch IDE hard drive and 5.25-inch optical drivesRegulatory Approvals:- FCC- CE- C-Tick- VCCIRetail Package Includes:- Serial-ATA to IDE adapterNotes: - Model: SD-ADSAIDE-S1- UPC: 8 93049 0063 2 Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98SE/Me/2000/XP* PC computer with one Serial-ATA port More ...
Personal Firewall &System ProtectionPersonal Firewall &System Protection Foil intruder attacks and protect your personal information too! This flexible program 'constructs' a powerful barrier between you and malicious mischief, theft and more. Windows 98/ME/XP More ...
3-Piece Flat Panel Speakers w/SubWoofer (Beige)3-Piece Flat Panel Speakers w/SubWoofer (Beige) ** 3-Piece Flat Panel Speaker System w/SubWoofer **This 3-piece Flat Panel speaker system will add a distinctive look to your work environment while producing vibrant audio! The satellite speakers feature an Ultra Thin profile while delivering 1W of output power. This speaker set is ideal for desktops lacking space or style! Order yours today!General Features:- Built-in Amplifier- Magnetically Shielded- Low Distortion- Designed for MultiMedia use- Compatible with Portable CD Players, Walkman & TVsSatellite Features:- Ultra Thin Satellite Speakers - Power Output: 1W + 1W (RMS)- Frequency Response: 80 Hz ~ 16 kHzSubwoofer Features:- 3 SubWoofer Cone Type speaker- Power Output: 5W (RMS)- Front Access LED- Power On/Off button- Volume Control dialRetail Package Includes:- One (1) SubWoofer- Two (2) Ultra Thin Satellite Speakers- Power Adapter (120VAC 60Hz)- Two (2) Satellite Speaker StandsNotes:- Model: SA-201 Compatibility/Requirements/Disclosures:** Requirements *** Available Power Outlet * Audio source with stereo mini-din jack More ...
Genica Motorola PCI 3 56K V.92 Data/Fax PCI ModemGenica Motorola PCI 3 56K V.92 Data/Fax PCI Modem ** Genica 56 Kbps V.92 Data/Fax PCI Modem **Get fast download speeds with this Genica 56K V.92 Data/Fax PCI Modem! It features the Motorola PCI 3 Chipset chipset, 56 Kbps download speeds, 14,400 bps fax speeds and a PCI interface. Easy installation on your computer's PCI slot! Order today!General Features:- Motorola PCI 3 Chipset- PCI interface- 56K V.92 standards- 14,400 bps fax speeds- IS 101 standard voice modem- Audio recording and playback functions- Plug and Play- Line and phone jacksData Mode:- V.92- V.90- 56 Kbps- V.34- 33.6 KbpsError Correction:- V.42bis- MNP4-2Data Compression:- V.42 bis- MNP 5Fax Modes:- 14,400 bps- V.17- V.27 ter- V.21- V.29Regulatory Approvals:- FCC- CERetail Package Includes:- Genica 56K V.92 Data/Fax PCI Modem- Driver CD- RJ-11 standard phone cord Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98/ME/NT/2000/XP* Available PCI slot* CD-ROM drive* Phone line More ...
|
