|
|
lambda abstraction
A term in lambda-calculus denoting a function. A lambda
abstraction begins with a lower-case lambda (represented as
"\" in this document), followed by a variable name (the "bound
variable"), a full stop and a lambda expression (the body).
The body is taken to extend as far to the right as possible
so, for example an expression,
\ x . \ y . x+y
is read as
\ x . (\ y . x+y).
A nested abstraction such as this is often abbreviated to:
\ x y . x + y
The lambda expression (\ v . E) denotes a function which takes
an argument and returns the term E with all free occurrences
of v replaced by the actual argument. Application is
represented by juxtaposition so
(\ x . x) 42
represents the identity function applied to the constant 42.
A lambda abstraction in Lisp is written as the symbol
lambda, a list of zero or more variable names and a list of
zero or more terms, e.g.
(lambda (x y) (plus x y))
Lambda expressions in Haskell are written as a backslash,
"\", one or more patterns (e.g. variable names), "->" and an
expression, e.g. \ x -> x.
(1995-01-24)
Try this search on OneLook / Google
Nearby terms:
lalr.ss « Lambada-Calculus « LAMBDA « lambda abstraction » lambda-calculus » lambda expression » lambda lifting
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Aroma (Music CD)Aroma (Music CD) Imagine yourself frolicking in fields of lavender, savoring a the scent of Jasmine flowers in a gorgeous village in Provance, or exploring ancient sites and exotic spice markets in Turkey. Perhaps the aromas will transport you to the pacific and where you can or enjoy a luxurious aromatic massage in the tropical tranquility of Bali.Windows 95/98/Me/2000/XP, Mac and Audio CD Player More ...
Veritas Backup Exec v 10.0 OEM - (3 CDs)Veritas Backup Exec v 10.0 OEM - (3 CDs) ** Veritas Backup Exec v 10.0 OEM - (3 CDs) **VERITAS Backup Exec 10 for Windows Servers is the Gold Standard in Windows data protection providing comprehensive, cost-effective, and certified backup and recovery - including the fastest disk-based recovery. An intuitive, web-based user interface simplifies installation and management of backup and remote servers with easy-to-use wizards. Centralized administration provides scalable management of distributed backup and remote servers. Wizards simplify data protection and recovery procedures for any level user and any size network. With a complete family of high performance agents and options to protect Windows, Linux, and UNIX server data, as well as desktops and laptops, Backup Exec offers simple, flexible, and granular data protection. With the release of Backup Exec 10 for Windows Servers, the Central Admin Server Option unifies independent Backup Exec media servers to provide one central point of administration and control. It enables users to centrally manage operations of managed media servers, benefit from load balancing and fault tolerance to ensure that resources are automatically protected by an available managed media server in a Windows data center, distributed throughout the network, or at remote offices.VERITAS Backup Exec 10 for Windows Servers continues to improve operational efficiencies for organizations providing disk-based data protection in the core software. The new Advanced Disk-based Backup Option enables even faster backups and fastest disk-based recovery through advanced Synthetic and Off-Host functionality helping enable companies to recover data fast.As the Gold Standard in Windows Data Protection, the Backup Exec Suite that consists of Backup Exec 10, Replication Exec 3.1, and Storage Exec 5.3 provides an integrated solution that lets today’s Windows-based organizations continuously protect and manage their business critical information. With the new Backup Exec SmartLink technology, administrators can view job status and alerts of VERITAS Replication Exec and VERITAS Storage Exec jobs from the Backup Exec Console. While productivity and resources continue to be a major focus for organizations of all sizes, Backup Exec SmartLink provides administrators with a single point of administration for many tasks –letting them manage more with less.Notes:- Picture is for representational purposes- Three (3) OEM CD's only More ...
C-Media CMI8768 PCI 8-Channel Sound CardC-Media CMI8768 PCI 8-Channel Sound Card ** C-Media CMI8768 PCI 8-Channel Sound Card **Eight channels are always better then four! With this great little eight channel high performance sound card you get six channels PLUS a SPDIF digital input AND support for HRTF 3D positional sound. This PCI card uses the CMedia CMI8768/PCI-8ch+chipset and is a highly Microsoft Windows compatible product.General Features: - C-Media CMI8768/PCI-8ch+ Chipset- HRTF-based 3D positional audio (C3DX) for 8-CH output - PCI Rev. 2.2 compliant with bus mastering modes- Microphone echo and Karaoke ascending/descending key effects- Plug and Play- Built-in 32-ohm earphone buffer- Full duplex playback and recording- Supports DirectSound 3D and A3d interfaces- Supports Direct Music- Fully compatible with MPU-401 MIDI UART- Supports Dolby Digital EX and DTS ES DV audio format- Supports real-time DVD Digital Live 7.1 outputExternal Connectors: - Center/bass-out - Microphone-in - Line-in - Line-out (Front Speakers) - Rear-out (Rear Speakers) .- Sub-out- Optical SPDIF-in- Optical SPDIF-outInternal Connectors: - CD Digital In (2-pin) - Aux In (4-pin) - CD Audio In (4-pin) x 2 Retail Package Includes:- Sound card- Driver CD- One (1) Optilcal SPDIF cable Compatibility/Requirements/Disclosures: ** Requirements *** Available PCI slot* CD-ROM drive* Speakers More ...
Memorex 52x32x52 CDRW External USB 2.0 DriveMemorex 52x32x52 CDRW External USB 2.0 Drive ** Memorex 52x32x52 CDRW External USB 2.0 Drive **The Memorex Ultra Speed CD Recorder is the best way to create, archive, duplicate and view any information. You can hold up to 700MB of data on a standard 80-minute disc. This external drive has a max. read speed of 52X, a max. write rate of up to 52X and a max. rewriting speed of 32X. The average access time is 80ms. The drive uses Smart-Burn Technology, automatically checking media quality and setting the burning speed to ensure successful writing. This drive comes with Nero software to get you started. General Features:- 52x maximum write speed (CD-R)- 32x maximum write speed (CD-RW)- 52x maximum read speed (CD)- 52x maximum read speed (CD-R)- 52x maximum read speed (Video CD)- 52x maximum read speed (CD-RW)- 80 ms average access time- USB 2.0 interface- Sturdy plastic enclosure keeps drive safeSupported Read Formats:- CD-ROM- CD-ROM/XA- CD-R- CD-RW- CD-DA- Video CD- Photo CD- CD-ExtraFront Bezel Features:- Headphone jack with volume control dial- LED activity indicator- Eject/load button- Emergency eject holeRear Panel Features:- On/off switch- USB interface- Audio out jack- DC power in jack.Regulatory Approvals:- FCC- CE- UL- TUV-GSPackage Includes:- Memorex 52x32x52 External USB 2.0 CDRW drive- Power adapter (100-240 V ~ 50/60 Hz)- Power cord- USB cableNotes:- Model: MRX523252AJEL-1- P/N: 32023234 Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98SE/ME/2000/XP* Available USB port* Available power outlet More ...
Socket 478 Heat Sink and Fan Up to 3.6 GHzSocket 478 Heat Sink and Fan Up to 3.6 GHz ** Socket 478 Heat Sink and Fan Up to 3.6 GHz **Keep your Socket 478 CPU running cool! It features a copper core heat sink with a ball bearing fan attached to it. This Hest Sink and Fan supports Intel Celeron Socket 478 up to 2.8 GHz, Intel Celeron D Socket 478 up to 3.06 GHz, Intel Pentium 4 Socket 478 up to 3.6 GHz (Prescott), and Intel Pentium 4 Socket 478 up to 3.4 GHz (Willamette/HT Northwood). Extend the life of your CPU with this Spire Coolers Socket 478 Heat Sink and Fan today!General Features:- Copper core heatsink- Ball bearing fan- 70 x 70 x 15 mm 12VDC fan- 4200 RPM speed- 3.6 W power- 31.8 dBa noise level- 33.8 CFM at 4200 RPM air flow- 0.30 A current- 3-pin power connector (7-inches long)- Thermal grease compound preapplied Supported Processors:- Intel Celeron Socket 478 up to 2.8 GHz (FC-PGA2)- Intel Celeron D Socket 478 up to 3.06 GHz - Intel Pentium 4 Socket 478 up to 3.6 GHz (Prescott) - Intel Pentium 4 Socket 478 up to 3.4 GHz (Willamette/HT Northwood) Retail Package Includes:- Socket 478 Heat Sink and Fan Up to 3.6 GHz- Mounting clips Compatibility/Requirements/Disclosures: ** Requirements *** Supported processor* 3-pin power connector for fan More ...
NEW Sempron 2600 256MB DDR 80GB 7200RPM CDRWNEW Sempron 2600 256MB DDR 80GB 7200RPM CDRW ** NEW Sempron 2600 256MB DDR 80GB 7200RPM CDRW **This system features an AMD Sempron 2600+ processor, an 80GB 7200RPM hard drive, 256MB of DDR RAM, and sports a 52X32X52 CD-RW drive.General Features:- AMD Sempron 2600+ processor- 256MB DDR Memory- 80GB 7200RPM IDE Hard Drive- 52X32X52 CD-RW Drive- S3 UniChrome 2D/3D Graphics with motion compensation with up to 64MB shared memory - Realtek ALC655 6-Channel audio - 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- VIA KM400 (NB), VT8235CE (SB) Chipset- One (1) AGP 8X Slot for Graphics upgrades- Two (2) 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- One (1) Standard 9-pin Serial Port Connector- 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 on PCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:-Amptron Sempron 2600+ 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 ECS KM400-M2 Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
|
