Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.895.659 Times

Lambda Animator New

Company: Mike Thyer
Date Added: October 26, 2012  |  Visits: 322

Lambda Animator

Report Broken Link
Printer Friendly Version


Product Homepage
Download (59 downloads)



Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus.

Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after function application.

Reductions can also be performed within function bodies. Performing reductions within functions can have a specializing effect. If a function is applied more than once then any reductions performed within the function will be performed once before the function body is copied instead of multiple times after.

These specializing reductions can also be performed eagerly or lazily. The specializing effect is sufficient to remove interpretive overhead.

Requirements: No special requirements
Release Date: October 26, 2012
Platforms: Windows All
Keyword: Calculus Lambda Lambda Animator Lambda Calculus Reduction Reduction Experimentation Reduction Strategy
Users rating: 0/10

License: Freeware
USER REVIEWS
More Reviews or Write Review


LAMBDA ANIMATOR RELATED
Education  -  Python lambda calculus module 1.0
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can...
14.34 KB  
Education  -  Lambda 0.1.4
Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load),...
102.4 KB  
Libraries  -  Lambda Expression Parser 2.0
Lambda Expression Parser is a handy and useful expression parser for parsing dynamical expression string to lambda expression. The component can perform math, logical and bit-wise calculations. Get Lambda Expression Parser and take it for a spin...
 
Development Tools  -  LAMBDA - Wavelength Calculator 1.0
This function will calculate the wavelength of a given frequency. By default the program will presume the entered value is in MHZ. However if you want to enter a frequency in another scale you also have the option to enter the scaling parameter as...
10 KB  
Libraries  -  GIS::Distance::Vincenty 0.01001
GIS::Distance::Vincenty Perl module contains Thaddeus Vincenty distance calculations. SYNOPSIS my $calc = GIS::Distance::Vincenty->new(); my $distance = $calc->distance( $lon1, $lat1 => $lon2, $lat2 ); For the benefit of the terminally...
8.19 KB  
Multimedia & Graphics  -  p3d 2.0.3 R1181
p3d is a general data-reduction tool that is intended to be used with data of fiber-fed integral field spectrographs (IFSs). This tool can be useful for people who have access to astronomical data of such an instrument. Data-reduction tasks, which...
 
Multimedia & Graphics  -  p3d for Linux, Mac OS X 2.0.3 R1181
p3d is a general data-reduction tool that is intended to be used with data of fiber-fed integral field spectrographs (IFSs). This tool can be useful for people who have access to astronomical data of such an instrument. Data-reduction tasks, which...
 
Scientific and Engineering  -  Open BEAGLE 3.0.1
Open BEAGLE is a C Evolutionary Computation (EC) framework. It provides an high-level software environment to do any kind of EC, with support for tree-based genetic programming; bit string, integer-valued vector, and real-valued vector genetic...
 
Science  -  Kayali 0.3.2
Kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc. Please Note: I am currently targetting a small subset of Maxima, while maintaining a medium-term goal of supporting all of Maxima....
563.2 KB  
Medical  -  Evicardio 1.1
Evicardio was designed to provide the clinician and investigator with a database of more than 800 randomized clinical trials in cardiology, than may collaborate in the evidence base clinical practice. The application includes four main...
13.3 MB  
NEW DOWNLOADS IN WINDOWS SOFTWARE, MULTIMEDIA & GRAPHICS
Windows Software  -  Movie Box App 3.3.8
Movie Box is Best Application for watching movie, TV shows , Music video, here you to give us clear step by step guide how to download and install Moive Box for Android , all user can free download Movie Box and most user friendly apps. All PC or...
67.23 KB  
Windows Software  -  Cydia Download 1.1.10
This is one of the best freeware released for users. What is Cydia Download ? This is simple downloader which has developed for install Cydia for your device less than ten minutes of time. This freeware is important for all jailbreak users. You...
67.23 KB  
Windows Software  -  Jihosoft iOS10 Backup Extractor 7.0.7
What can you do to extract and recover your iPhone data if you get them lost for the following reasons: 1.Deleted important data from iPhone by mistake. 2.iPhone is damaged, lost or stolen. 3.iPhone stuck in black/white screen of death, iPhone...
16.5 MB  
Windows Software  -  Screenshot Captor 4.15.0
Screenshot Captor is designed for grabbing lots of screenshots with minimal intervention. It has great multimon suport and includes a full image explorer with full shell functionality and unsurpassed integration with external tools like graphic...
7.15 MB  
Windows Software  -  MonitorPack Guard 5.4.1
MonitorPack provides Windows tools at no cost for server monitoring, IT asset management and help Desk solution, optional Cloud Solution (IaaS or Infrastructure as a Service) Cloud Application (Platform as a Service) and software on demand (SaaS...
11.01 MB  
Multimedia & Graphics  -  Pixillion Image Converter Software Free 4.06
Pixillion is a free JPEG and image file format conversion software for Windows. Pixillion Image Converter Software Free can convert files from and to JPEG and other file formats like gif, tiff, png, pdf and more. Before converting your file...
857.73 KB  
Multimedia & Graphics  -  EWD 3D 5.7.5
EWD 3D is a 3D CAD program. The software contains the major CAD functions (line, arc, polyline, spline, face, 3D solid, 3D Surface). Support boolean operation, undo/redo, drag/drop, OSNAP. And have good interactive,easy to use UI. Version EWD...
14.3 MB  
Multimedia & Graphics  -  EasyBanner Free 5.0
EasyBanner Free is free software that makes it easy and simple to create banners in GIF format. The design method is simple and you have the possibility to specify everything in the banner: background, texts, images, styles and animated effects....
2.23 MB  
Multimedia & Graphics  -  Free AVI/MPEG/WMV/MP4/FLV Video Joiner 4.4.5
Free AVI/MPEG/WMV/MP4/FLV Video Joiner, a perfect easy-to-use video joining tool, allows the users to easily and quickly join more than one video file of different formats to one file of a specified format including AVI, MP4, FLV, WMV, etc. The...
6.55 MB  
Multimedia & Graphics  -  Webcam/Screen Video Capture Free 7.5.6
Webcam/Screen Video Capture Free is able to capture video from devices like webcams, IP-cameras, streaming video and more to AVI, MP4, FLV, WMV, MKV, etc., making the quickest and clearest way to communicate reachable for all people. It can record...
4.25 MB