Append

Results: 363



#Item
71Lisp programming language / List / Memory / Append / K / Sequence container / Lasso / Computing / Software / FileMaker

Quicklist - Fast lists for FileMaker ! In FileMaker you use value lists for various things. Those lists are simply text separated with new line characters. You can build them easily in

Add to Reading List

Source URL: www.monkeybreadsoftware.de

Language: English - Date: 2014-09-29 17:36:30
72Logic in computer science / Mathematical logic / Type theory / Dependently typed programming / Higher-order functions / Append / Curry–Howard correspondence / Curry / Structural induction / Software engineering / Computing / Computer programming

Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:16
73Ø / Taiwan / National Taiwan Normal University / Political geography / Danish language / Faroese language / Norwegian language

Important Note Required documents and relevant regulations will be subject to the most updated MOE Regulations Regarding International Students Undertaking Studies in Taiwan. (For article content, please see the append

Add to Reading List

Source URL: ap.itc.ntnu.edu.tw

Language: English - Date: 2015-02-02 04:27:31
74Prolog / Definite clause grammar / Logic programming / Inference / Negation as failure / Append / Fril / Prolog syntax and semantics / Software engineering / Computing / Computer programming

Learn Prolog Now! Patrick Blackburn Johan Bos Kristina Striegnitz ­

Add to Reading List

Source URL: www.dbnet.ece.ntua.gr

Language: English - Date: 2005-03-06 20:01:27
75Perl / Cross-platform software / Procedural programming languages / XS / Append / CPAN / Apache HTTP Server / Mod perl / Computing / Software engineering / Computer programming

Developer’s guide Table of Contents: Developer’s guide

Add to Reading List

Source URL: perl.apache.org

Language: English - Date: 2014-02-15 20:41:37
76Scripting languages / Redirection / Find / Grep / Filename / Cat / Append / Rm / Ls / Computing / Unix / Software

Piping and Redirection Part 1½ Ted Ward Oklahoma State University Institute of Technology

Add to Reading List

Source URL: www.astrocomma.com

Language: English - Date: 2014-01-21 10:52:23
77Data types / Functional programming / Functional languages / Procedural programming languages / Lisp programming language / ATS / Fold / Append / ML / Software engineering / Computing / Computer programming

A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2

Add to Reading List

Source URL: cs-www.bu.edu

Language: English - Date: 2013-10-14 02:11:12
78Data types / Functional programming / Functional languages / Procedural programming languages / Lisp programming language / ATS / Fold / Append / ML / Software engineering / Computing / Computer programming

A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2013-10-14 02:11:12
79Mzuzu / Email / Append / Mzuzu University / Professor / Internet / Education / Computing / Knowledge

MZUZU UNIVERSITY Private Bag 201 Luwinga WATER AND SANITATION CENTRE OF

Add to Reading List

Source URL: www.mzuni.ac.mw

Language: English
80Higher-order functions / Fold / Recursion / Variadic function / Functional programming / FO / Function / Arity / Append / Software engineering / Computing / Computer programming

From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2011-08-12 16:48:15
UPDATE