|
|
principal type
The most general type of an expression. For example, the
following are all valid types for the lambda abstraction
(\ x . x):
Int -> Int
Bool -> Bool
(a->b) -> (a->b)
but any valid type will be an instance of the principal type:
a -> a. An instance is derived by substituting the same type
expression for all occurences of some type variable. The
principal type of an expression can be computed from those of
its subexpressions by Robinson's unification algorithm.
(1994-12-16)
Try this search on OneLook / Google
Nearby terms:
prime time « primitive « Princeton University « principal type » PRINT » printed circuit board » printer
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
NEW 723A 17-Inch LCD Flat Panel DisplayNEW 723A 17-Inch LCD Flat Panel Display ** NEW 723A 17-Inch LCD Flat Panel Display **Running at a 1280 x 1024 native resolution with a high 400:1 contrast ratio, the 17 723A flat-panel display is a reliable, high quality LCD display fit for performing all daily computer applications.General Features:- Size: 17 inch (Diagonal 432mm) - Max. Resolution: 1,280 x 1,024 / SXGA - Display Color: 16.7 M Colors supported - Pixel pitch: Horizontal 0.264mm x vertical 0.264mm - Brightness: 350cd/m2 - Contrast Ratio: 400:1 - Response Time: 16ms - Viewing Angle: 160 horizontal, 140 vertical - Display Area: Horizontal 340mm x Vertical 272mm - Signal Input: Video Signal: 0.7Vpp - Sync. Frequency: Horizontal: 22kHz~82kHz / Vertical: 50Hz~76Hz - Bandwidth: 135MHz - Input Connector: D-Sub / DVI-D - Audio: Phone Jack, d=3.5mm - Weight: 4.2kg (9.3lb) - Monitor Dimension (WxHxD): 15.3 in x 15.1 in x 8.5 in - Power Consumption: 45W - Power Saving State: 3WNotes:- Dead Pixels Policy: Replacement and Refundfor 8 or more Dead Pixels only- 3-Year Limited Warranty: 3 years for parts, 3 years for labor, and 1 year for LCD panelPackage Contents:- 17”TFT liquid crystal monitor- D-sub 15 pin signal cable- AC Adapter- User’s manual More ...
HP Rugged Tablet PC tr3000 PIII933MHz 256MB 40GBHP Rugged Tablet PC tr3000 PIII933MHz 256MB 40GB ** HP PIII 933MHz Rugged Tablet PC tr3000 **This HP Rugged Tablet PC tr3000 is the ultramobile PC that adapts to the way you work! This HP Rugged Tablet PC tr3000 is designed to provide true rugged features and wireless computing capabilities to highly mobile users in extreme conditions. Write, maneuver, and compute on-your-feet! This Rugged Tablet PC tr3000 is powered by an Intel Pentium III 933 MHz processorand 256 MB RAM. Microsoft Windows XP Tablet PC Edition is pre-installed on the shock mounted 40 GB hard drive. An 8.4-inch TFT SVGA Outdoor Transmissive Display with Digitizer Control Panel Touchscreen makes navigating the internet a snap! This light weight HP Rugged tablet PC tr3000 adapts to how you need to work! Order yours today!General Features:- Microsoft Windows XP Tablet PC Edition pre-installed- Mobile Intel Pentium III 933 MHz Ultra LowVoltage processor- Die-cast magnesium for all structural components- 256 MB (PC-133) SDRAM (Upgradeable 640 MB maximum)- Shock mounted 40 GB (2.5 ) Ruggedized Hard Drive- 8.4 SVGA TFT Outdoor transmissive display with digitizer control panel touchscreen- 32 MB Integrated Intel graphics - PCI Audio with AC-97 compliance- High speed 56K fax/modem MDC module- 10/100 MB Ethernet LAN- 801.11b Wireless LAN- Digitizer Control Panel Touchscreen pointing device- Power: 6-cell 3600 mAH (40.0 WH) Lithium-Ion main battery pack Tablet PC Function Keys:- Rotate - Security - Enter - Line Down - Fn (Function) - Escape - Line Up Expansion Slots:- One (1) (1) Type I or II PC card slotI/O Ports:- One (1) Compact Flash slot for (1) Type I/II card- RJ-45 jack- RJ-11 jack- Two (2) USB ports- Headphone and Speaker in- 26-Pin Docking ConnectorDimensions:- 10.6 x 7.2 x 1.65 inches (L x W x H, approximate)- Weight: 3.7 lb (approximate)Regulatory Approvals:- FCC- CE- CSAPlain Box Includes:- HP Rugged Tablet PC tr3000- Microsoft Windows XP Tablet PC edition pre-installed- Stylus Pen- AC Adapter (100-240V 50-60Hz) - Power Cord- Dust clothNotes:- Model: IX 300- P/N: PW967AA#ABA Compatibility/Requirements/Disclosures:** Requirements *** Available Power Outlet** Disclosures *** This Tablet PC (like most tablets) does not include a CD, DVD or FDD drive. More ...
HP P4 2.8GHz 512MB 160GB DVD+RW CD XP Media CtrHP P4 2.8GHz 512MB 160GB DVD+RW CD XP Media Ctr ** HP m377n Pentium 4 2.8 GHz Media Center PC **This Hewlett Packard m377n lets you enjoy multi-media entertainment as wellas do your basic computing functions! It features a fast Intel Pentium 4 2.8 GHz processor with Hyper-Threading technology and 512 MB of RAM. The 160 GB hard drive is pre-loaded with Microsoft Windows XP Media Center Edition. A DVD+RW/CD-RW combination drive lets you create CDs, DVDs, and watch DVDs. Transfer files, photos, or data with the 7-in-1 memory card reader. Access the Internet through the PCI modem or the integrated 10/100 Ethernet controller. USB and FireWire ports are built-in to connect your high speed devices like cameras, scanners, camcorders, or printers. A keyboard, mouse, speakers, and remote control are included with this Hewlett Packard m377nMedia Center PC!General Features:- Microsoft Windows XP Media Center Edition pre-installed- Intel Pentium 4 2.8 GHz processor w/Hyper-Threading technology- 512 MB DDR RAM (2 GB maximum)- 160 GB hard disk drive- DVD+RW/CD-RW combination drive- CD-ROM drive- 1.44 MB floppy disk drive- 7-in-1 memory card reader- AGP video card - Integrated audio- TV Tuner PCI card- Integrated IEEE 1394 FireWire- 56K PCI modem- Integrated 10/100 Ethernet controllerSupported Media:- Compact Flash I/II- Memory Stick- Memory Stick Pro- Microdrive- Multimedia- Secure Digital- Smart MediaFront Panel Media Shortcut Buttons:- TV Window button- Program Guide Button- Music Window button- My Pictures Window button- My Videos Window buttonMotherboard Features:- One (1) AGP slot (occupied)- Three (3) PCI slots (two occupied)- Four (4) 184-pin DIMM slots (two occupied)I/O Ports:- Two (2) PS/2 ports- One (1) 15-pin standard VGA connector- One (1) 9-pin standard serial port- One (1) 25-pin standard parallel port- One (1) Composite out- One (1) Composite video input at front- Two (2) S-Video in (one on back and one at front)- One (1) S-Video out on back- One (1) FM in- One (1) TV connector in- Left and right audio inputs (front and back)- Six (6) USB 2.0 ports (four on back and two at front)- Two (2) IEEE 1394 FireWire ports (one on back and one at front)- One (1) RJ-11 standard phone jack- One (1) RJ-45 standard Ethernet jack- Line-in, microphone, and line-out jacks on back- Microphone and headphone jacks at frontCase Features:- Two (2) 5.25-inch external drive bays (occupied)- Two (2) 3.5-inch external drive bays (occupied)- One (1) 3.5-inch internal drive bay (occupied)- 200-watt power supply (100-240V, 47/63Hz)Case Dimensions:- 15.5 x 8.25 x 15-inches (H x W x D)Regulatory Approvals:- UL- FCCPlain Box Includes:- HP m377n Pentium 4 2.8 GHz Media Center PC - Microsoft Windows XP Media Center Edition pre-installed- User's Guide- Remote control- USB remote sensor- HP PS/2 Multimedia keyboard- HP PS/2 3-button scroll mouse- Harmon Kardon Subwoofer w/AC adapter (120VAC, 60Hz)- Two (2) Harmon Kardon Speakers w/AC adapter (120VAC, 60Hz)- Phone cord- Power cordNotes:- Windows and driver CDs are not included.- Two (2) AA batteries for remote are not included Compatibility/Requirements/Disclosures:** Requirements *** VGA monitor* AA batteries for remote control* Available power outlet More ...
Logitech QuickCam Cordless USB Web CameraLogitech QuickCam Cordless USB Web Camera ** Logitech QuickCam Cordless **Logitech offers you the power of a QuickCam and the convenience of cordless to give you the QuickCam Cordless. It gives you everything you need, so you can share more of your life without being tied to your PC. Add live video to your favorite instant messenger, conduct video calls and conferences, send video emails, capture still images, and say what's on your mind thanks to the built-in microphone... anywhere within 75 feet of your PC!General Features:- Shoot photos and create videos with cordless freedom - Add video to your favorite instant messenger: - Edit movies with studio-quality software - Email video and photos easily - Conduct online video conferences and calls - Built-in microphone - Create fun animated films - Create web albums, broadcast live video and audio, and set up a web cam- Includes tilt/swivel base and wall-mount capabilities - Stylish and rugged aluminum body Product Specifications:- 2.4 GHz cordless technology with 4 channels - Range: Up to 75 feet - Built-in microphone - Power Supply: 9-volt battery or A/C power supply - Resolution: Still Images: Up to 640 x 480 pixels (software interpolated)- Video: Up To 640 x 480 pixels (software interpolated) - Sensor: 510 x 492 pixels, CMOS - Frame Rate: Up to 30 fps - Focus range: Fixed focus - 2 feet to infinity Included Software Supported File Formats:- Picture: JPEG - Video: AVI Regulatory Approvals:- CE- UL- TUV-GS- Gost-RPlain Box Includes:- Logitech QuickCam Cordless Camera- Logitech QuickCam Cordless Receiver- Wall mount kit- One (1) 9V batteryNotes:- Logitech camera model number: V-RA7- Logitech camera part number: 861052-0000- Logitech receiver model number: C-UB6- Logitech receiver part number: 861048-0000 Compatibility/Requirements/Disclosures:** Requirements *** Windows 98/ME/200/XP* 500 MHz or higher CPU* 64 MB RAM (or minimum OS requirement whichever is higher). * 200 MB free hard drive space * 16-bit color display adapter * Windows compatible sound card and speakers More ...
Discovering World HistoryDiscovering World History Based on the best-selling text, The Heritage of World Civilizations, Fourth Edition, thisCD-ROM takes you on a journey from the birth of civilization in the Near East through the Renaissance and the Age of Enlightenment and into the present era of global conflict and change. Windows 95/98/ME/NT/2000/XP and Mac More ...
eTman ET300 16MB MP3 PlayereTman ET300 16MB MP3 Player ** eTman ET300 16MB MP3 Player **This lightweight MP3 player offers 16MB of internal memory and a SmartMedia expansion slot for continuing any audio voyage. An LCD compliments the easy to use button interface. General Features:- Silver design- Built in belt clip- MP3 file playback- USB 1.1- 5 preset equalizer settings- LCD display- Lightweight and compactSpecifications: - Built in 16 MB flash memory- Expandable memory slot (SmartMedia) - LCD display- 90 dB S/N ratio- 5 mW earphone output- 20 Hz ~ 20 KHz frequency range- Sampling rate: 32/44.1/48 KHzEqualizer Settings: - Flat- Classic- Jazz- Rock- Heavy MetalRegulatory Approvals:- FCC- CERetail Package Includes:- eTman 16 MB MP3 Player- Earphones- USB cable- Two (2) AAA batteries- Installation CD- User ManualNotes:- Model: ET 300-16- EAN: 4 719859 676781 Compatibility/Requirements/Disclosures: ** Requirements *** Pentium 90 MHz or better* Windows 98SE/ME/2000/XP* 40 MB hard disk space* 16 MB RAM or higher* Available USB port* CR-ROM (for software installation) More ...
|
