Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3

Source URL: repository.readscheme.org

• Mathematics
• Logic
• Functions and mappings
• Mathematical logic
• Logic programming
• Automated theorem proving
• Append
• Functional programming
• Lisp
• Unfolding
• Substitution
• Atomic formula

Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

Source URL: www.cs.ru.nl

• Software engineering
• Computer programming
• Computing
• Subroutines
• Functional languages
• Functional programming
• Lambda calculus
• Computability theory
• Scheme
• Lisp
• Closure
• Anonymous function

Pg 1 of 4 TOWN OF ROXBURY

Source URL: www.roxburyct.com

• Lisp
• Readevalprint loop

02157 Functional Programming - Lecture 3: Lists

Source URL: www.imm.dtu.dk

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Higher-order functions
• Programming language comparisons
• Append
• Functional programming
• Lisp
• Technical University of Denmark
• Map
• MRH

Stichting Common Lisp Foundation KraaipanstraatPG AMSTERDAM JAARREKENINGINHOUDSOPGAVE

Source URL: www.cl-foundation.org

The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract

Source URL: www.deinprogramm.de

• Software
• Computing
• Functional languages
• Wolfram Mathematica
• Lisp
• Anonymous function
• Eval
• Computer algebra system
• SageMath
• Scheme
• Functional programming
• Relational operator

dependent types logical verification week

Source URL: www.cs.ru.nl

• Latin alphabets
• Append
• Functional programming
• Lisp
• Cyrillic alphabets
• Estonian language
• Computing
• Notation

Sequencing in F# Sequencing, and IO We said functional programming is about calculating expressions Björn Lisper School of Innovation, Design, and Engineering

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Computing
• Programming idioms
• C standard library
• Subroutines
• Functional programming
• Functional languages
• Printf format string
• Monad
• Eval
• Lisp

Compiler Generation for Interactive Graphics using Intermediate Code Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pitsburgh, PA 15213, USA

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Data types
• Procedural programming languages
• Cross-platform software
• Object-oriented programming languages
• Functional languages
• Common Lisp
• Const
• Type system
• D

Contributing to the Common Lisp ecosystem Daniel "jackdaniel" Kochmański

Source URL: turtleware.eu

• Software
• Computer programming
• Functional languages
• Lisp
• Common Lisp
• Cross-platform software
• CLISP
• Emacs