|
|
typed lambda-calculus
<theory> (TLC) A variety of lambda-calculus in which every
term is labelled with a type.
A function application (A B) is only synctactically valid if
A has type s --> t, where the type of B is s (or an instance
or s in a polymorphic language) and t is any type.
If the types allowed for terms are restricted, e.g. to
Hindley-Milner types then no term may be applied to itself,
thus avoiding one kind of non-terminating evaluation.
Most functional programming languages, e.g. Haskell, ML,
are closely based on variants of the typed lambda-calculus.
(1995-03-25)
Try this search on OneLook / Google
Nearby terms:
type-ahead search « type assignment « type class « typed lambda-calculus » TypedProlog » typeface » type inference
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Panasonic Double Layer 16x8x4 DVDRW/RAM IDE DrivePanasonic Double Layer 16x8x4 DVDRW/RAM IDE Drive ** Panasonic Double Layer 16x8x4 DVD±RW Drive **This Panasonic Double Layer DVD±RW IDE Drive provides the speed and the best quality recording for any application! This drive is capable of burning Double Layer DVD+R discs at4x, DVD+R at 16x, DVD±RW at 8x, and 16x DVD-R discs! It also features 40x CD-R write speeds, 24x CD-RW rewrite speeds, and 40x CD-ROM read speeds. Its 2 MB buffer ensures fast, reliable writing every time.General Features:- Beige bezel- 16x maximum write speed (DVD+R)- 4x maximum write speed (DVD+R DL) Double Layer- 8x maximum rewrite speed (DVD+RW)- 16x maximum write speed (DVD-R)- 6x maximum rewrite speed (DVD-RW)- 5x maximum write speed (DVD-RAM)- 16x maximum read speed (DVD)- 8x maximum read speed DVD+R (double layer)- 40 maximum write speed (CD-R)- 24x maximum rewrite speed (CD-RW)- 40 maximum read speed (CD)- 2 MB buffer- 145 ms average seek time (DVD)- 125 ms average seek time (CD)- E-IDE/ATAPI interfaceFront Panel Features:- LED actvity indicator- Stop/eject button- Emergency eject holeRear Panel Features:- Digital audio connector- Analog audio connector- Device jumpers- IDE interface- 4-pin power connectorSupported Disc Read Format:- DVD±RW- DVD±R- DVD+ R Double layer- DVD-RAM- CD-R- CD-RW (Mode 1, 2)- CD-DA- CD-I- CD-ROM XA- Mixed CD- CD Extra- CD-Text- Video CD- Photo CD MultisessionSupported DVD Disc Write Method:- DVD-R/RW: Disk-at-once, Incremental Recording,- Restricted Overwright (DVD-RW only)- DVD+R: Sequential RecordingSupported CD-R/RW Disc Write Method:- Disk-at-once- Session-at-once- Track-at-once,- Packet writeRegulatory Approvals:- UL- CE- TUV- SemkoPackage Includes:- Panasonic 16x8x4 DVD±RW/RAM & CD-RW IDE DriveNotes:- Drive only- Model: SW-9585-C Compatibility/Requirements/Disclosures: ** Requirements *** IDE controller* IDE cable* Available 5.25-inch drive bay* Available 4-pin power connector* Burning software* Recordable blank media More ...
Seagate 20GB UDMA/100 4200RPM 2.5-In 9.5mm NBB HDDSeagate 20GB UDMA/100 4200RPM 2.5-In 9.5mm NBB HDD ** Seagate 20 GB 4200 RPM Notebook Hard Drive **This notebook hard drive from Seagate has a 20 GB capacity and features a fast UDMA/100 data transfer rate. This2.5-inch drive comes with a 2 MB buffer, 12 ms average seek time, and a 5.6 ms average latency!General Features:- 20 GB formatted capacity- UDMA/100- 4200 RPM spindle speed- 2 MB buffer- 12 ms average seek time- 5.6 ms average latency- 2.5-inch form factor- 9.5 mm drive heightNotes:- Drive Only- Model: ST92014A- P/N: 9Y1421-301 Compatibility/Requirements/Disclosures: ** Requirements *** IDE controller* 9.5 mm drive bay or* 2.5-inch to 3.5-inch IDE conversion kit* Available 3.5-inch drive bay* Available power connector* IDE cable More ...
Time, Life &Works of Ernest HemingwayTime, Life &Works of Ernest Hemingway The Time, Life, &Works of Ernest Hemingway reveals the creative genius of Hemingway the author and the philosophy of Hemingway the man. It traces his literary career through his writings during the aftermath of World War I, of the American expatriates in Paris, and of his experiences in World War II.Windows 95/98/ME/NT/2000/XP and Mac More ...
FM Transmitter w/LCD displayFM Transmitter w/LCD display ** FM Transmitter w/LCD display **This FM transmitter is designed to transmit audio to any FM receiver! It works with MP3 players, CD players, and any other music source. It allows you to set FM channel from 87.7 to 107.9 MHz. Just tune your FM radio to match the same frequency of this unit, and it turns your FM radio audio into a MP3 player right away. -> General Features:- 14 channels for selection- FM Band Full Channels (87.7 - 107.9 MHz)- Channel Selection up (0.2 MHz)- Excellent sound quality- LCD display- Cigarette lighter adapter end - Tilting head- 0.15 A dissipation current- 3.5 mm earphone plugRegulatory Approvals:- FCCRetail Package Includes:- FM transmitter Compatibility/Requirements/Disclosures: ** Requirements *** Available audio source* Available power source More ...
Talking Typing for KidsTalking Typing for Kids A fun approach to learning essential typing skills! Teach your child the good keyboarding skills that are critical to becoming computer literate! Ages 6+. Windows 98/ME/2000/XP More ...
10-Bay ATX Computer Case w/Front Panel LED (Black)10-Bay ATX Computer Case w/Front Panel LED (Black) ** 10-Bay ATX Computer Case **This ATX computer case will provide the foundation you need to build a great computer system! This case features ten drive bays and seven expansion slots. Add the system board, expansion cards, and drives to get you started!General Features:- Black case design- Blue LED on front panel - Two (2) USB ports on front side- Microphone and Speaker jacks on front side- Power button - Reset button - HDD LED - Power LED Drive Bay Features: - Four (4) 5.25-inch external drive bays - One (1) 3.5-inch external drive bays - Five (5) 3.5-inch internal drive bays Expansion Features: - Seven (7) punch-out expansion slots Supported Form Factors: - ATX - mATX - Mini ATX Case Dimensions: - 18.5 x 8 x 16.75-inches (L x W x H, approximate) Package Includes: - 10-Bay computer case - Screw Pack Notes:- This case does NOT include a power supply - Model: KG-201 (Black) Compatibility/Requirements/Disclosures:* Requirements ** Standard ATX power supply * Supported motherboard * Rest of system ** Disclosures *** This case does NOT include a power supply More ...
|
