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,277 total topics | type schema
Filter this Collection

A formulae-as-types notion of control

x Author:
Timothy G. Griffin
x Date of first publication:
x Editor:

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...
x Author:
Philip Wadler
x Date of first publication:
x Editor:
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?