|
|
CAF ==>
constant applicative form
(CAF) (Functional programming) A supercombinator which is
not a lambda abstraction. This includes truly constant
expressions such as 12, (+ 1 2), [1,2,3] as well as partially
applied functions such as (+ 4). Note that this last example
is equivalent under eta abstraction to \ x . + 4 x which is
not a CAF.
Since a CAF is a supercombinator, it contains no free
variables. Moreover, since it is not a lambda abstraction it
contains no variables at all. It may however contain
identifiers which refer to other CAFs, e.g.
c 3 where c = (* 2).
A CAF can always be lifted to the top level of the program.
It can either be compiled to a piece of graph which will be
shared by all uses or to some shared code which will overwrite
itself with some graph the first time it is evaluated. A CAF
such as
ints = from 1 where from n = n : from (n+1)
can grow without bound but may only be accessible from within
the code of one or more functions. In order for the garbage
collector to be able to reclaim such structures, we associate
with each function a list of the CAFs to which it refers.
When garbage collecting a reference to the function we collect
the CAFs on its list.
(1994-11-30)
Try this search on OneLook / Google
Nearby terms:
console jockey « Consortium for Lexical Research « constant angular velocity « constant applicative form » constant folding » Constantine/Yourdon » constant linear velocity
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Kodak CX7430 4.0MP 3x Optical Zoom 4x Digital ZoomKodak CX7430 4.0MP 3x Optical Zoom 4x Digital Zoom ** Kodak CX7430 4.0MP Digital Camera **With this Kodak EasyShare CX7430 digital camera, you can take stunning pictures up to 20 x30 with its 4.0 MP. Afterwards, it is incredibly easy to print, email or save them - by just a single touch of its on-camera Share button. This Kodak CX7430 digital camera features a 3X optical zoom and a 4x digital zoom, so you can get up close and personal. It also has user-friendly software and a USB interface, so you can transfer, share and print your favorite pictures. It's genuinely easy to capture and preserve your precious moments with the Kodak EasyShare CX7430 digital camera - all at the touch of a button!General Features:- 4.0 Effective Megapixel- 3x Optical zoom- 4x Digital zoom- 1.6-inch indoor/outdoor color display- USB interface- 16 MB internal storage- SD/MMC card expansion slot- JPEG/EXIF v.2.2 Still Image File Format- Real image optical viewfinder- Aperture: f/2.7-5.2 (wide); f/4.6-8.7 (tele)- Shutter speed: 1/2 - 1/1400 seconds- Long time exposure: 0.7 - 4 seconds- ISO equivalent: automatic (80-160); manual (80, 100, 200, 400)- White balance: auto, daylight, tungsten, fluorescent- Flash mode: auto, red-eye, fill, off- Flash range: wide - 0.6-3.6 m (2-11.8 ft); tele 0.6-2.1m (2-6.9 ft.)- Self-timer: 10 seconds- NTSC/PAL video out- Real image optical viewfinderUnit Dimensions:- 1.5 x 4 x 2.5-inches (W x L x H approximate)Regulatory Approvals:- FCC- CE- VCCIPlain Box Includes:- Kodak EasyShare CX7430 factory refurbished camera- User Guide- Getting Started- Wrist Strap- USB cable- Video cable- Kodak Camera Dock Insert- Kodak Easy Share software on CD- Two (2) 1.5V AA BatteriesNotes:- This product is covered by a direct manufacturer warrantythat may be valid only in the US. Please contact our salesdepartment prior to purchase if you have any questions.regarding warranty coverage on this product. Compatibility/Requirements/Disclosures:** PC Requirements *** Windows 98/98SE/ME/200/XP* 233 MHz processor or better* 64 MB RAM (128 MB recommended)* 200 MB available hard disk space* CD-ROM drive* Available USB port* VGA monitor with 800 x 600 resolution 16-bit color* (24-bit recommended)* Internet connection (online printing and email)** Macintosh Requirements *** Power Mac G3, G4, G5, G4 Cube, iMac;* PowerBook G3, G4; or iBook computers* MACINTOSH OS X 10.2.3, 10.3* SAFARI 1.0 or higher* 128 MB RAM* 200 MB available hard disk space* CD-ROM drive* Available USB port* Color monitor, 1024x768 pixels* (24-bit recommended)* Internet connection (online printing and email) More ...
FBM Ultimate Internet Privacy ZeroSpyware/ZeroSpamFBM Ultimate Internet Privacy ZeroSpyware/ZeroSpam ** FBM Ultimate Internet Privacy ** PC Security presents real problems encountered by theaverage users. This FBM Ultimate Internet Privacy willprotect your privacy, boost system performance, and increaseInternert surfing speeds. FBM Software's Internet Privacy Suite protects you and your business from intruders invading your privacy. It eliminates and block malicious spyware, adware, cookies and browser hijackers. This Internet Privacy comes with ZeroSpyware, ZeroSpam, and ZeroAds CDs! Stop intruders, spyware, spam from entering your PC, get this FBM Ultimate Internet Privacy today!General Features:- Contains ZeroSpyware, ZeroSpam, and ZeroAds CDs- ZeroSpyware: Removes hidden spyware, block spyware installers and stop browser hijackers- ZeroSpam: Never seek junk email again and stops spam forever- ZeroAds: blocks all type of Internet ads, removes cookies, allowing you to surf the net faster- Easy to use- Automatic updatesRetail Package Includes:- FBM Ultimate Internet PrivacyNotes:- UPC: 8 21681 04052 5 Compatibility/Requirements/Disclosures: ** Requirements *** Pentium 233 MHz processor* Windows 98SE/ME/2000/XP* 64 MB RAM* 26 MB available hard disk space* CD-ROM drive More ...
NEW Celeron 1.8GHz 256MB 40GB 52X AGPNEW Celeron 1.8GHz 256MB 40GB 52X AGP ** NEW Eureka Celeron 1.8GHz 256MB 40GB 52X AGP **This FAST system features an Intel Celeron 1.8GHz processor, an 40GB 7200RPM hard drive, 256MB RAM, and sports a 52X CD-ROM drive. It also includes a high powered 64MB AGP Video Card for great graphics!General Features:- Intel Celeron 1.8GHz Processor- 256MB SDRAM Memory- 40GB 7200RPM IDE Hard Drive- 52X CD-ROM Drive- 64MB SiS AGP Video Card- AC97 Integrated Audio- 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- Intel845 Northbridge - Intel82801 (MCH) Southbridge chipset- One (1) 4X AGP Slot (Occupied by AGP card)- Three (3) PCI slots- One (1) CNR Slot (occupied by modem)I/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- Two (2) Standard 9-pin Serial Port Connectors- Six (6) Standard USB 2.0 Ports (Two on front, four on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks onPCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:-Amptron Celeron 1.8GHz System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - Amptron P4IBMS v1.0 Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
Marvel Spider-Man ComicsMarvel Spider-Man Comics Marvel Presents: the opportunity to revisit the first 10 comic book adventures of one of the world's favorite heroes in Snap! Spider-Man on CD-ROM. Windows 98/ME/2000/XP and Mac More ...
Mitsumi USB 2.0 FDD &7-in-1 Reader/Writer (Black)Mitsumi USB 2.0 FDD &7-in-1 Reader/Writer (Black) ** Black Mitsumi Internal USB 2.0 Floppy Drive and 7-in-1 Card Reader/Writer **This Mitsumi takes a 1.44 MB floppy disk drive and combinesit with a 7-in-1 card reader/writer for quick access to allsorts of media. The attractive black bezel is ideal for anyblack computer case.General Features:- Black bezel- 1.44 MB floppy disk drive- 7-in-1 card reader/writer- 500 Kbps maximum transfer rate (FDD)- 480 Mbps maximum transfer rate (memory cards)- 3.5-inch form factor- Plug and Play- USB 2.0 interface- Memory cards are bus poweredSupported Media Formats:- CompactFlash- IBM MicroDrive- Secure Digital Card- MultiMedia Card- Memory Stick- SmartMediaNotes:- Drive only Compatibility/Requirements/Disclosures:** Requirements *** Microsoft Windows 98/2000/ME/XP* Available 3.5-inch drive bay* Available internal USB 2.0 header* Available floppy disk controller* Available 4-pin power connector Informational Links:http://www.usb.org/info/usb_nomenclature More ...
11-Bay ATX Window Case w/450W PS LEDs (Beige)11-Bay ATX Window Case w/450W PS LEDs (Beige) ** 11-Bay ATX Window Computer Case **This high performance ATX case offers housing solutions for your PC components! It features 11-bay drives, seven expansion slots, and is compatible with ATX, Baby AT, Mini ATX, and Micro ATX motherboards. This computer case comes with a front panel with Longhorn design, side window case fan, and a 450-watt power supply that all glows cool red LEDs. Styled in a beige color, this case is equipped with USB 2.0 ports, microphone and headphone jacks, and a top mounted handle for easy transport!General Features:- Beige case- Side window with an 80 mm case fan that glows a red LED- Front panel with Longhorn design that glows a red LED- Power supply fan lights up red LED- Top handle for easy transport- Top mounted power switch- Top mounted reset switch- Top mounted Power LED- Top mounted hard drive LED- Two (2) Front mounted USB 2.0 ports- Front mounted microphone and headphone jacksDrive Bay Features:- Four (4) 5.25-inch external drive bays- Two (2) 3.5-inch external drive bays- Five (5) 3.5-inch internal drive baysExpansion Features:- Seven (7) Expansion punchout slotsSupported Form Factors:- ATX- Baby AT- Mini ATX- Micro ATXCase Supply Support:- Two (2) 80 mm case fans at front (not installed)- One (1) 80 mm case fan on side panel (installed)- Two (2) 80 mm case fans on back (not installed)Power Supply Features:- 450-watt power supply- 115v-230V manual switch- 115-230V @50-60Hz input- +3.3V/26A- +5V/35A- +12V/15A- -5V/0.5A- -12V/0.8A- +5Vsb/2.0ACase Dimensions:- 19.5 x 7.25 x 19.25-inches (H x W x D)Factory Box Includes:- 11-Bay ATX Window Computer Case- 450-watt power supply- Power cord- Screw pack Compatibility/Requirements/Disclosures: ** Requirements *** Supported motherboard* Rest of the system* Available power outlet More ...
|