<--- Back to Details
First PageDocument Content
Software / Computing / Functional languages / Wolfram Mathematica / Lisp / Anonymous function / Eval / Computer algebra system / SageMath / Scheme / Functional programming / Relational operator
Date: 2005-10-09 10:54:01
Software
Computing
Functional languages
Wolfram Mathematica
Lisp
Anonymous function
Eval
Computer algebra system
SageMath
Scheme
Functional programming
Relational operator

The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract

Add to Reading List

Source URL: www.deinprogramm.de

Download Document from Source Website

File Size: 136,15 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Subroutines / Data types / Anonymous function / Functional programming / Lambda calculus / Exponentiation / ATS / Array data type / Parameter

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Software engineering / Computer programming / Computing / Control flow / Procedural programming languages / Eval / Scheme / Anonymous function / Infinite loop / Assignment / Conditional / Meta-circular evaluator

Project 5 - The Meta-Circular Evaluator

DocID: 1rtvP - View Document

Software engineering / Computer programming / Computing / Functional languages / Subroutines / Procedural programming languages / Data types / Lambda calculus / Scheme / Lisp / Anonymous function / Scope

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

DocID: 1rf2e - View Document

Software engineering / Programming language theory / Lambda calculus / Computer programming / Scheme / Structure and Interpretation of Computer Programs / Anonymous function / Square root / Nth root

Microsoft PowerPoint - Lect02Scheme.ppt

DocID: 1reMy - View Document

Software engineering / Declarative programming / Computer programming / Functional programming / Theoretical computer science / Data types / Type theory / Computability theory / Lambda calculus / Recursion / Algebraic data type / Anonymous function

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

DocID: 1rduU - View Document