📄 http:^^www.cs.utexas.edu^users^adams^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:30:42 GMT
Content-Type: text/html
Content-Length: 1707
Last-Modified: Wednesday, 11-Dec-96 21:39:13 GMT
<html><!BODY BGCOLOR=#040404 text=#ffffff link=#44ffff vlink=#ffff00 alink=#ff2222><title>Adam Seligman's home page</title><body><center><H1>Adam Seligman's home page</H1> <!WA0><!WA0><!WA0><img src="http://www.cs.utexas.edu/users/adams/me2.18.gif" alt="me" align=bottom><p><hr><!WA1><!WA1><!WA1><img src="http://weather.yahoo.com/graphics/radar/Southcentral_US.gif"><p><!WA2><!WA2><!WA2><img src="http://weather.yahoo.com/graphics/satellite/US.jpg"><p><!WA3><!WA3><!WA3><img src="http://www.cs.utexas.edu/users/adams/spain_washedout.s.gif" alt="Spain, Summer 1994" align=bottom><p></center><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/cgi/rwho/?name=adams"><h1> Click here to see if I am logged on.</h1></a><p><hr>I am a gradual student in UT-Austin's CS program, and I run aweekly <!WA5><!WA5><!WA5><a href="http://www.cs.utexas.edu/users/adams/hh-page.html">happy hour</a> for the department.<p>This is my only claim to fame, my undergraduate thesis. I specifiedthe type rules and an operational semantics of the OO core of C++.It's available as a gzipped <!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/adams/c++thesis.dvi.gz">dvi file</a>or a gzipped <!WA7><!WA7><!WA7><a href="http://www.cs.utexas.edu/users/adams/c++thesis.ps.gz">postscript file</a>. Let me knowwhat you think of it.<p><h1> Here's how to get in touch with me:</h1>Email <!WA8><!WA8><!WA8><a href="mailto:adams@cs.utexas.edu">adams@cs.utexas.edu</a>.<p>Call me at (512) 860-3225.<p>Page me with email at<!WA9><!WA9><!WA9><a href="mailto:1815205@pagemart.net">1815205@pagemart.net</a>.</h1><p>Spy on the graphics lab <!WA10><!WA10><!WA10><a href="http://hercules.csres.utexas.edu/">here.</a><b>The lab phone number is (512)471-9598<p> <!WA11><!WA11><!WA11><a href="http://www.cs.utexas.edu/users/adams/vrml/index.html">Read our Progressive VRML paper.</a><p><p><p><hr>Yes, I am a news junkie. Here's where you can get a fix from<!WA12><!WA12><!WA12><a href="http://www.yahoo.com/headlines/news">Reuters at Yahoo.</a><p>Alternatively, you could check out <!WA13><!WA13><!WA13><a href="http://www2.nando.net/">the Nando Times.</a><p></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -