Tail recursion in REBOL
Computers - Programming - Languages - REBOL - FAQs, Help, and Tutorials - Advanced. Proper tail recursion is unusually difficult to achieve in REBOL. Joe Marshall describes the problem and solution. From LL1: Lightweight Languages Workshop. ...
ll1.ai.mit.edu
Recursion Software, Inc.
Computers - Computer Science - Distributed Computing - Companies. Commercial provider of application server and ORB software, and consulting and training services. ...
www.recursionsw.com
Recursion Software, Inc.
Computers - Programming - Development Tools. Development tools for software developers using Java, C++, or C#. ...
www.recursionsw.com
Introduction to Logic and Recursion Theory
Science - Math - Logic and Foundations - Computability. Notes from the class taught by Prof. Sacks in the Spring of 1998. ...
www.media.mit.edu
Stack Free Recursion
Computers - Algorithms - Publications. A paper describing the ...
www.olympus.net
Open Questions in Recursion Theory
Science - Math - Logic and Foundations - Computability. Compiled by Theodore A. Slaman, Berkeley [TeX/PDF]. ...
math.berkeley.edu
Recursion Software, Inc. - C++ ToolKits
Computers - Programming - Languages - C++ - Class Libraries - STL. Provides portable class libraries for use with the ANSI/ISO C++ Standard Library. ...
www.recursionsw.com
Real Time Software Rendering
Computers - Programming - FAQs, Help, and Tutorials. Tutorials in Javascript, PHP, C++, and Java as well as articles about good coding and recursion. SoftGeL, OpenGL, and DirectX resources are also i ...
www.dawnofthegeeks.com
Kolmogorov Complexity in Combinatory Logic
Science - Math - Logic and Foundations - Computational Logic - Combinatory Logic and Lambda Calculus. Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of ...
www.cwi.nl
Computability Theory
Science - Math - Logic and Foundations - Directories. Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links ...
www.nd.edu
Computation Prospects of Infinity
Science - Math - Logic and Foundations - Meetings - Past Conferences. Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National Unive ...
www.ims.nus.edu.sg
Enderton, Herbert B.
Science - Math - Logic and Foundations - People. UCLA - Recursion theory, definability theory. ...
www.math.ucla.edu
Moschovakis, Yiannis N.
Science - Math - Logic and Foundations - People. UCLA - Set theory, recursion theory. ...
www.math.ucla.edu
Shore, Richard A.
Science - Math - Logic and Foundations - People. Cornell University - Recursion theory. ...
www.math.cornell.edu
Slaman, Theodore A.
Science - Math - Logic and Foundations - People. University of California, Berkeley - Recursion theory. ...
www.math.berkeley.edu
Soare, Robert I.
Science - Math - Logic and Foundations - People. University of Chicago - Recursion theory. ...
www.cs.uchicago.edu
Knight, Julia F.
Science - Math - Logic and Foundations - People. University of Notre Dame - Recursion theory. ...
math.nd.edu
Cholak, Peter
Science - Math - Logic and Foundations - People. University of Notre Dame - Recursion theory. ...
www.math.nd.edu
Bibliographic Database for Computability Theory
Science - Math - Logic and Foundations - Computability. Extensive bibliography on computability and recursion theory, maintained by Peter Cholak. ...
www.nd.edu
Jockusch, Carl G.
Science - Math - Logic and Foundations - People. University of Illinois, Urbana Champaign - Recursion theory. ...
www.math.uiuc.edu
Lempp, Steffen
Science - Math - Logic and Foundations - People. University of Wisconsin, Madison - Computability, recursion theory. ...
www.math.wisc.edu
JSummer
Computers - Software - Freeware. A java-implementation of the MD5Sum-HASH-Algorythm that features calculation of md5sum-hashes, checking of md5sum-hashes, GUI and console version, recursion of directo ...
zero-sys.net
Java Generic Libraries (JGL)
Computers - Programming - Languages - Java - Class Libraries. Class libraries that extend JDK libraries, providing many commonly-used algorithms and data structures. By Recursion Software, Inc. [Comme ...
www.recursionsw.com
Tymax Systems
Computers - Software - Shareware - Windows - Utilities - Automation. Getz Batch Processing Software uses streams rather than folder recursion, allows automation of file handling, visual construction t ...
www.tymax.com
Motofit
Science - Chemistry - Software - Physical and Theoretical. Co-refines Neutron and X-ray reflectometry data, using Parratt recursion and least squares fitting. It works in the IGOR Pro environment (TM ...
motofit.sourceforge.net
top
