http:^^www.cs.jhu.edu^~scott^

来自「This data set contains WWW-pages collect」· EDU^~SCOTT^ 代码 · 共 49 行

Date: Wed, 20 Nov 1996 23:03:50 GMT
Server: NCSA/1.5.1
Last-modified: Mon, 14 Oct 1996 14:42:06 GMT
Content-type: text/html
Content-length: 1438

<title> Scott Smith's Home Page </title>
<!WA0><img align = left hspace = 50 src = "http://www.cs.jhu.edu/~scott/scott.gif"> 
<address>
<dl>
  <dt> <strong>Scott F. Smith</strong>
<dt> Associate Professor
<dt> <!WA1><a href="http://www.cs.jhu.edu">Department of Computer Science</a> 
<dt> <!WA2><a href="http://www.jhu.edu">The Johns Hopkins University</a>
<dt> Baltimore, MD 21218-2686
</dl>
</address>
<br> phone: [phone] 
<br> fax: [phone]
<br> email: [e-mail]
<br> http://www.cs.jhu.edu/scott/
<br> office: New Engineering Building 214
<br> main machine:  magpie.cs.jhu.edu

<P>

<P>

<p>

My <!WA3><a href="http://www.cs.jhu.edu/~scott/interests.html">research interests</a> span a number of
areas in programming languages. Currently, I am most interested in
developing type inference systems for object-oriented langauges that
are based on sets of subtype constraints.  The <!WA4><a
href="http://www.cs.jhu.edu/hog/">home page of the
Hopkins Objects Group</a> contains all of the papers our group has
written in this area.<p>

<!WA5><a href="http://www.cs.jhu.edu/~scott/papers">Papers</a> in other areas, including actors,
programming language semantics, constructive type theory, and hardware
verification.<p>

Check out my list of <!WA6><a href="http://www.cs.jhu.edu/~scott/lang.html"> useful web pointers for programming
languages research</a>, and my <!WA7><a href="http://www.cs.jhu.edu/~scott/vision.html">vision for
future programming languages research</a>.
<p>

I became a <strong>dad</strong> as of October 3rd, 1996!  My daughter,
Elizabeth, already has her <!WA8><a href="http://www.cs.jhu.edu/~scott/baby">own web page</a>.