Programming language: Works Written About This Topic Filter Written Work topics

Share This
Programming language

Programming language

A programming language is an artificial language designed to express computations that can be performed by a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine, to express algorithms precisely, or as a mode of human...
Learn more about Programming language »
Add More Topics Save this view to a base, or just for yourself.

2 Written Work topics matching:

x
Written Work Publishing Commons
This is a fairly generic or abstract type that contains information common to all or most types of written works, including (but not limited to) books, poems, stories, scholarly articles, book reviews, and essays. It is a "supporting type", meaning that, although the properties will be...
2,429,836 total topics | type schema
Filter this Collection
A formulae-as-types notion of control

A formulae-as-types notion of control

Author:

Date written:

  • 1990

Subjects:

View entire collection »
Call-by-value is dual to call-by-name

Call-by-value is dual to call-by-name

The rules of classical logic may be formulated in pairs corresponding to De Morgan duals: rules about "and" are dual to rules about "or". A line of work, including that of Filinski (1989), Griffin (1990), Parigot (1992), Danos, Joinet, and Schellinx...

Author:

Date written:

  • 2003

Subjects:

View entire collection »
Showing 1 - 2 prev next
Edit Collection Schema
All topics in this collection are typed as Written Work
Use Data from this Collection
Choose a format:

Images and articles are not included in export files, which are limited to 1000 items. Complete data dumps are also available here.

Flag this Collection
Why do you want to flag this collection?