conservatory
/
schemers-website
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
schemers-website/www/Research/index.html

76 lines
1.3 KiB
HTML
Raw Permalink Normal View History

Add contents of schemers.org-20230110.tgz SHA1 b2ce2f884321b4e89eda5ecf4ad2914565c6da23
2023-01-12 07:56:11 -05:00
<html>
<!-- Time-stamp: <98/05/22 15:53:03 shriram> -->
Expand Server Side Includes (SSI) This was accomplished by two means: - Arthur took a wget mirror of the original www.schemers.org back when it was still online. - The wget mirror was missing few pages. Lassi set up an SSI-enabled copy of Apache to serve the source snapshot provided by Shriram. The missing pages were downloaded in the form served by Apache. NOTE: Nginx can serve SSI, but does not support LAST_MODIFIED. It displays "(none)" where the timestamps should be.
2023-01-24 10:14:39 -05:00
Add contents of schemers.org-20230110.tgz SHA1 b2ce2f884321b4e89eda5ecf4ad2914565c6da23
2023-01-12 07:56:11 -05:00
<title>schemers.org: Research</title>
Fixup favicon URLs
2023-01-24 14:25:55 -05:00
<link rel="shortcut icon" href="../favicon.ico" type="image/x-icon">
Expand Server Side Includes (SSI) This was accomplished by two means: - Arthur took a wget mirror of the original www.schemers.org back when it was still online. - The wget mirror was missing few pages. Lassi set up an SSI-enabled copy of Apache to serve the source snapshot provided by Shriram. The missing pages were downloaded in the form served by Apache. NOTE: Nginx can serve SSI, but does not support LAST_MODIFIED. It displays "(none)" where the timestamps should be.
2023-01-24 10:14:39 -05:00
<body bgcolor=WHITE text=BLACK link=BLUE vlink="#aa0088" alink=RED>
<p>
<table width=100%>
<tr valign=TOP>
<td>
Fixup Schemers logo URLs
2023-01-24 14:08:33 -05:00
<img src="../logo-dsandler.gif"
Expand Server Side Includes (SSI) This was accomplished by two means: - Arthur took a wget mirror of the original www.schemers.org back when it was still online. - The wget mirror was missing few pages. Lassi set up an SSI-enabled copy of Apache to serve the source snapshot provided by Shriram. The missing pages were downloaded in the form served by Apache. NOTE: Nginx can serve SSI, but does not support LAST_MODIFIED. It displays "(none)" where the timestamps should be.
2023-01-24 10:14:39 -05:00
alt="logo"
width=110
height=70>
<br><br>
'(schemers&nbsp;.&nbsp;org):<br>
an improper list<br>
of Scheme resources<br>
Rename Welcome page - Use subdirectory with .html suffix, for consistency with the rest of the pages. - Use relative links from other pages to the Welcome page.
2023-01-24 13:03:54 -05:00
&#151;[<a href="../Welcome/">DS</a>]
Expand Server Side Includes (SSI) This was accomplished by two means: - Arthur took a wget mirror of the original www.schemers.org back when it was still online. - The wget mirror was missing few pages. Lassi set up an SSI-enabled copy of Apache to serve the source snapshot provided by Shriram. The missing pages were downloaded in the form served by Apache. NOTE: Nginx can serve SSI, but does not support LAST_MODIFIED. It displays "(none)" where the timestamps should be.
2023-01-24 10:14:39 -05:00
</td>
<td>
Add contents of schemers.org-20230110.tgz SHA1 b2ce2f884321b4e89eda5ecf4ad2914565c6da23
2023-01-12 07:56:11 -05:00
This page will list various research efforts that use Scheme as one of
the underlying objects of study. Current efforts cover the following
areas (amongst others):
<ul>
<li> modular programming
<li> object-oriented programming
<li> type systems and program verification
<li> concurrent and distributed programming
<li> macros
<li> efficient compilation strategies and optimizations
<li> integration with other languages
</ul>
Expand Server Side Includes (SSI) This was accomplished by two means: - Arthur took a wget mirror of the original www.schemers.org back when it was still online. - The wget mirror was missing few pages. Lassi set up an SSI-enabled copy of Apache to serve the source snapshot provided by Shriram. The missing pages were downloaded in the form served by Apache. NOTE: Nginx can serve SSI, but does not support LAST_MODIFIED. It displays "(none)" where the timestamps should be.
2023-01-24 10:14:39 -05:00
</td>
</tr>
</table>
</p>
<hr>
<p>
<br>
<table width=100%>
<tr>
<td align=LEFT>
Last modified Friday, 22-May-1998 16:53:04 EDT
</td>
<td align=RIGHT>
Powered by
Fixup PLT logo URLs The old URLs fetched the image from plt-scheme.org. That website is no longer up, and it's better to host all images locally anyway. I was able to retrieve the right PLT Logo from web.archive.org via: wayback_machine_downloader --all-timestamps plt-scheme.org/logo.gif That command fetched three copies of logo.gif, all of which were identical. The image is now committed to this repo as plt-logo.gif. Please note that there's another, different plt-logo.gif in the misc directory.
2023-01-24 14:17:30 -05:00
<a href="../Welcome/"><img align=CENTER src="../plt-logo.gif"
Expand Server Side Includes (SSI) This was accomplished by two means: - Arthur took a wget mirror of the original www.schemers.org back when it was still online. - The wget mirror was missing few pages. Lassi set up an SSI-enabled copy of Apache to serve the source snapshot provided by Shriram. The missing pages were downloaded in the form served by Apache. NOTE: Nginx can serve SSI, but does not support LAST_MODIFIED. It displays "(none)" where the timestamps should be.
2023-01-24 10:14:39 -05:00
width=91 height=31 alt="PLT"></a></td></tr>
<tr>
<td></td>
<td align="RIGHT">
Rename Welcome page - Use subdirectory with .html suffix, for consistency with the rest of the pages. - Use relative links from other pages to the Welcome page.
2023-01-24 13:03:54 -05:00
<a href="../Welcome/">Site Contact</a>
Expand Server Side Includes (SSI) This was accomplished by two means: - Arthur took a wget mirror of the original www.schemers.org back when it was still online. - The wget mirror was missing few pages. Lassi set up an SSI-enabled copy of Apache to serve the source snapshot provided by Shriram. The missing pages were downloaded in the form served by Apache. NOTE: Nginx can serve SSI, but does not support LAST_MODIFIED. It displays "(none)" where the timestamps should be.
2023-01-24 10:14:39 -05:00
</td>
</tr>
</table>
</p>
</body>
Add contents of schemers.org-20230110.tgz SHA1 b2ce2f884321b4e89eda5ecf4ad2914565c6da23
2023-01-12 07:56:11 -05:00
</html>