Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,329,277 papers from all fields of science
Search
Sign In
Create Free Account
Nil
Known as:
NIL lisp
, Nil (programming language)
, Nil Programming Language
NIL was a 32-bit implementation of Lisp developed at MIT and intended to be the successor to Maclisp. NIL stood for "New Implementation of LISP", and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Artificial intelligence
Common Lisp
Computer algebra system
Cruft
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Effectiveness of Internal Sphincterotomy in reducing PostOpen Hemorrhoidectomy Pain: A RandomizedComparative Clinical Study
D. Das
,
U. Choudhury
,
Li Zs
2013
Corpus ID: 74286960
Background: Hemorrhoids are one of the most common disorders of anus. Various treatment modalities have been described over the…
Expand
2011
2011
Evaluation of growth performance traits in three strains of broiler chickens reared in derived savanna environment of Nigeria
S. Amao
,
L. Ojedapo
,
Olalekan Adebayo Sosina
2011
Corpus ID: 4837037
ENGLISH/ ABSTRACT (ENGLISH/ ABSTRACT (ENGLISH/ ABSTRACT (ENGLISH/A A A ANGLAIS NGLAIS NGLAIS NGLAIS)) The evaluations of some…
Expand
2003
2003
Deployment of TREND - A Low-Noise Receiver User Instrument at 1.25 THz to 1.5 THz for AST/RO at the South Pole
E. Gerecht
,
S. Yngvesson
,
+18 authors
Adair Lanei
2003
Corpus ID: 59057779
Eyal Gerecht, Sigfrid Yngvesson, John Nicholson, Yan Zhuang, Fernando Rodriguez Morales, Xin Zhao, Dazhen Gu, Richard Zannoni…
Expand
Review
2002
Review
2002
Environmental studies on coastal zone soils of the north Sinai peninsula (Egypt) using remote sensing techniques
M. Hassan
2002
Corpus ID: 133482380
The northern part of the Sinai peninsula is one of the most strategic projects for agriculture extension in Egypt. This project…
Expand
1997
1997
The Formal Specification of Oberon
P. Kutter
,
A. Pierantonio
Journal of universal computer science (Online)
1997
Corpus ID: 46385721
This paper presents the formal speciication of the programming language Oberon. Using Montages we give a description of syntax…
Expand
1996
1996
A Machine Verified Distributed Sorting Algorithm
Jørgen H. Andersen
,
Edwin A. Harcourt
,
K. V. S. Prasad
1996
Corpus ID: 1166537
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…
Expand
1992
1992
Des aménagements hydro-agricoles dans la vallée du fleuve Sénégal ou le risque de maladies hydriques en milieu sahélien
P. Handschumacher
,
J. Herve
,
G. Hébrard
1992
Corpus ID: 161198562
La vallee du fleuve Senegal porte les espoirs de developpement de toutes les populations implantees sur ses rives. Des…
Expand
1981
1981
International Information Flow: The Developing World Perspective
J. Bortnick
1981
Corpus ID: 55969536
1978
1978
Hydrocarbon- and rubber-producing crops
R. A. Buchanan
,
I. Cull
,
F. Otey
,
C. R. Russell
Economic Botany
1978
Corpus ID: 35669361
Agricultural production of rubber and other hydrocarbons in the United States may be compatible with increased food and fiber…
Expand
1975
1975
Promoting the reading habit
R. Bamberger
1975
Corpus ID: 141049118
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