Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,729,627 papers from all fields of science
Search
Sign In
Create Free Account
Set theoretic programming
Known as:
Set theoretic programming languages
Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Claire
Language Integrated Query
Miranda
ProSet
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1981
1981
Higher level programming : introduction to the use of the set-theoretic programming language SETL
R. Dewar
,
E. Schonberg
,
J. Schwartz
1981
Corpus ID: 60307623
Highly Cited
1976
Highly Cited
1976
Induction variables in very high level languages
Amelia C. Fong
,
J. Ullman
ACM-SIGACT Symposium on Principles of Programming…
1976
Corpus ID: 17993234
We explore the notion of an induction variable in the context of a set-theoretic programming langugage. An appropriate definition…
Expand
Review
1972
Review
1972
Review of "Symposium on some directions in high-level languages"
Vi
,
Jacob T Schwartz
,
Henry S Warren
,
Jonas Rabin
,
Ma
,
Jack Schwartz
SIGP
1972
Corpus ID: 42963080
Forskningsieien 1B, Oslo 3, Norway, price, with-section in which the same topic is discussed i n in Europe, 40 Norwegian kroner…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE