|
|
TALE
Typed Applicative Language Experiment. M. van Leeuwen. Lazy,
purely applicative, polymorphic. Based on typed second order
lambda-calculus. "Functional Programming and the Language
TALE", H.P. Barendregt et al, in Current Trends in
Concurrency, LNCS 224, Springer 1986, pp.122-207.
Try this search on OneLook / Google
Nearby terms:
tail recursion optimisation « tail-strict « TAL « TALE » Taligent » talk » talk bomb
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
11-Bay ATX Case w/300W Power Supply (Black)11-Bay ATX Case w/300W Power Supply (Black) ** Black 11-Bay ATX Case w/P4-rated 300 watt Power Supply **This stylish black 11-bay case has plenty of room for micro or full-ATX motherboards, and all the drives most people would want in their computer. The power supply in this case is rated at 300 watts, more than enough for most Pentium 4 systems (not recommended for Athlon or Duron processors). Also includes 2 USB ports in the front of the case. General Features:- Stylish black exterior- Includes 300-watt ATX 100-230V switchable power supply - ATX motherboard power connector- Includes an ATX auxiliary power and ATX 12V connectors- Four (4) large drive connectors- One (1) small drive connector- Supports Four (4) 3 x 3-inch fan mounts on front (fans not included)- Two (2) 3 x 3-inch fan mounts on rear (fans not included)- Two (2) front mounted USB ports (USB 1.1 rated only)- Power switch- Reset switch- Power LED indicator- HDD Access LED indicator- Premounted PC Piezo Speaker- Both exterior side panels removable for easy installationAvailable Drive Bays:- Four (4) externally available 5.25-inch drive bays- Two (2) externally available 3.5-inch drive bays- Five (5) internally available 3.5-inch drive baysExpansion Slots:- Seven (7) punch-out expansion slotsDimensions:- 16.5 x 8 x 18.5-inches (H x W xD)Supported Motherboard Form Factors:- ATX- MicroATX- MiniATX- BabyATX- BabyAT (if it has an ATX power connector)Power Supply Specifications:- Power Supply is manually switchable between 115v/230v- Overload protection is built in- 115V ~ 10.0A @ 60Hz- 230V ~ 5.0A @ 50Hz- + 5V ~ 20A maximum- + 3.3V ~ 16A maximum- + 12V ~ 12A maximum- -5V ~ 0.3A maximum- -12V ~ 1A maximum- + 5Vsb ~ 2A maximum- +3.3V and +5.0V leads cannot exceed 180W (total output)Package Includes:- Black Case- Power Cord- 300 Watt Power Supply (preinstalled)- Screw Pack- Venus Back-Plate (preinstalled) Compatibility/Requirements/Disclosures:** Requirements *** ATX motherboard* Rest of system* Available power outlet More ...
Socket 370 Heat Sink &Fan up to 1.3GHzSocket 370 Heat Sink &Fan up to 1.3GHz ** Socket 370 Heat Sink and Fan up to 1.3 GHz **Keep your Socket 370 processor running cool every time! This heat sink and fan supports Socket 370 processors and is designed to help dissipate damaging heat away from the processor! General Features:- Aluminum heat sink- CPU Cooler for Socket 370 processors up to 1.3 GHz- 2.5-inch x 2.5-inch Fan- 3-pin fan connector(approximately 7-inches cord length from fan to 3-pin connector)- Metal mounting clip- Easy Installation and Release- Reduces CPU temperature- Extends CPU's lifeNotes:- Heat Sink and Fan only Compatibility/Requirements/Disclosures:** Requirements *** Socket 370 processors* Available 3-pin power connector for fan More ...
USB 5-Button Toggle Scroll Mouse (Two-Tone)USB 5-Button Toggle Scroll Mouse (Two-Tone) ** USB 5-button Scroll Toggle Mouse **With its unique 5-button design this comfortablemouse can simplify your computing experience.Features such as 2000 dpi resolution and a scroll toggle button simplifies your computingexperience. Its attractive two-tone black andwhite color scheme will add some style to any work environment!General Features:- Two-Tone (Black and White) color scheme- USB interface- Unique 5-button design- Scroll Toggle Button (Up, Down)- 2000 dpi resolution - Speed with auto-accelerating - Page Selecting- Central PositioningRegulatory Approvals:- CEPlain Box Includes:- 5-button USB mouse OnlyNotes:- Model: Lance 2000 G-Mouse Compatibility/Requirements/Disclosures:** Requirements *** Available USB port More ...
MultiTech 56k v.90/v.34 ISA Jumperable ModemMultiTech 56k v.90/v.34 ISA Jumperable Modem ** MultiTech 56k v.90/v.34 ISA Jumperable Modem **The MultiModemZPX data/fax modem is ideal for telecommuters and SOHO users. It includes a built-in processor to enhance performance and data throughput. The modem gives you lightning fast Internet access for multimedia, video, live audio, and intense gaming action. Built-in processor does the work instead of your PC. The MultiModemZPX is easier to install than Windows modems. General Features:- Maximum Transfer Rate: 56 Kbps - Interface: ISA - Analog Modulation: K56Flex, ITU V.90, ITU V.34, ITU V.17 - Voice Communication Support: Speakerphone, Voice Mail - Model MT5634ZPX-NAMNotes:- Modem only- No drivers or documentation Compatibility/Requirements/Disclosures:** Requirements *** Available ISA Slot More ...
Toshiba TDP-S20U DLP ProjectorToshiba TDP-S20U DLP Projector ** Toshiba TDP-S20U DLP Projector with Remote **The sleekly designed Toshiba TDP-S20U Mobile Projector includes one-touch auto set up, keystone correction, and a fully loaded remote control to ensure worry-free, professional presentations - just plug the unit in, and it is ready to go. The TDP-S20U projectors maximize an audience's attention by producing stunning presentations with minimal noise (approximately 33dBA in low mode). The whisper quite fan ensures attention is kept where it should be - on what's being projected. If your end users buy this Toshiba Projector model between November 28, 2004 and April 02, 2005 and receive a $50.00 Rebate. Click link below for details.General Features:- Resolution: SVGA (800 x 600) - Display Type: DLP; 0.55 DMD DLP - Brightness: 1400 lumens - Weight: 6.6 lbs. - Contrast: 2000:1 - Power Source: 100-240V, 50/60Hz - Power Consumption: 230W Specifications:- Light Source: 160W (135W in low mode) - Brightness: 1400 ANSI lumens - Native Resolution: SVGA 800 x 600 - Color Reproduction: Full 16.77 Million Colors - Contrast Ratio: 2000:1 - Projection Screen Size (Diagonal): 30 - 300 inches - Projection Distance: 3.8 ft - 33 ft- Throw Ratio: 1.6 - 1.94:1 - RGB: 2x RGB - Keystone Correction: Digital +/- 15 - Noise Level: 36dBA (33dBA in low mode)- Internal Speaker: 1.0W Monaural - PC Interface: RS232 (mini DIN-8 pin) Display Technology: - Shape: 0.55 DMD DLP- Number of Pixels: 480,000 (800 x 600) Projection Lens: - Standard Lens: 1.2x manual zoom/manual focus - F/f (mm):F = 2.0 - 2.2, f = 18.2 - 21.84mm - Compatible Scanning Frequency: Horizontal (kHz): 15 - 93kHZ Vertical (Hz)50 - 85Hz Input Terminals: - Video: 1x RCA, 1x S-Video - Color Difference: 1x mini D-sub 15, shared with RGB signal - Audio: 1x stereo mini-jack, 2x RCA for Video, 2x RCA for S-video Input Signal Format: - Video: NTSC, PAL, SECAM - RGB: VGA, SVGA, XGA (compressed), SXGA (compressed), UXGA (compressed), MAC - Color Difference: HDTV/DTV (480p/480i/720p/1080i), DVD Output Terminal: - RGB: 1x RGB - Audio: 1x stereo mini-jack Regulatory Approvals:- UL- CE- C-TickFactory Brown Box Includes:- Toshiba TDP-S20U DLP Projector - Remote Control - Power Cord - RGB Cable - CD-ROM - User's Manual - Soft Carrying BagNotes:- Model: TDP-S20- UPC: 0 32017 24376 7- $ 50.00 end user rebate. See link below for details Compatibility/Requirements/Disclosures:** Requirements *** Available Power Outlet* Video or computer signal Informational Links:http://www.web-rebates.com/toshiba/M0009820/ More ...
Vocabulary Puzzles - 1st GradeVocabulary Puzzles - 1st Grade Developed by teachers and educational experts, School Zone's On-Track Software Vocabulary Puzzles 1 lets children practice nouns, verbs, adjectives, vowel sounds, compound words and more. Windows 95/98/ME/2000/XP and Mac More ...
|
