Skip to content

Commit 509980e

Browse files
committed
deploy: 871dccb
1 parent b2fdbb9 commit 509980e

File tree

1 file changed

+21
-11
lines changed

1 file changed

+21
-11
lines changed

history/bibliography/index.html

+21-11
Original file line numberDiff line numberDiff line change
@@ -1909,9 +1909,17 @@ <h2 id="interlisp-bibliography">Interlisp Bibliography</h2>
19091909
<div class="authors">
19101910
Kaplan, Ronald M.; Sheil, B. A.
19111911
</div>
1912+
<button type="button" class="abstractExpander left" id="A9296070_6IR4DI6L">AAA</button>
19121913

1913-
1914-
</td>
1914+
<br><div class="abstractContent" id="A9296070_6IR4DI6L_Abs">
1915+
1916+
1917+
1918+
1919+
The Interlisp programming system provides facilities which allow a programmer to provide type declarations for program variables, procedures and expressions. In some respects, these faciltiies resemble the type systems found in many contemporary high level languages. However, the nature of Lisp and Lisp programming requires them to be singificantly different from conventional type systems. Their most striking feature is a very powerful type description language which supports run-time, as well as static, type validation. In this paper, the design of the Interlisp type declaration facilities is described, illustrating how the characteristics of Lisp affected the design. Some suggestions are offered as to which aspects of these would provde useful in other contexts.
1920+
1921+
1922+
</div></td>
19151923
</tr>
19161924

19171925
<tr>
@@ -10459,6 +10467,17 @@ <h2 id="interlisp-bibliography">Interlisp Bibliography</h2>
1045910467
<th class="year"><b>2015</b></th>
1046010468
</tr>
1046110469

10470+
<tr>
10471+
10472+
<td><div class="bibTitle"><a href="https://opost.com/tenex/ahc_20150101_jan_2015.pdf">Annals of the History of Computing Vol. 37 Issue 1</a></div>
10473+
<div class="authors">
10474+
Ensmenger, Nathan; Stachniak, Zbigniew; Rajaraman, Vaidyeswaran; Kidwell, Peggy Aldrich; Fidler, Bradley; Currie, Morgan; Cortada,, James W.; Spicer, Dag; Copeland, Jack; Haeff, Andre A.; Murphy, Dan; Misa, Thomas J.; Alper, Meryl
10475+
</div>
10476+
10477+
10478+
</td>
10479+
</tr>
10480+
1046210481
<tr>
1046310482

1046410483
<td><div class="bibTitle">Emulation &amp; Virtualization as Preservation Strategies</div>
@@ -13551,15 +13570,6 @@ <h2 id="interlisp-bibliography">Interlisp Bibliography</h2>
1355113570

1355213571

1355313572

13554-
</td>
13555-
</tr>
13556-
13557-
<tr>
13558-
13559-
<td><div class="bibTitle"><a href="https://opost.com/tenex/ahc_20150101_jan_2015.pdf">ahc_20150101_jan_2015.pdf</a></div>
13560-
13561-
13562-
1356313573
</td>
1356413574
</tr>
1356513575

0 commit comments

Comments
 (0)