http:^^vesuvius.cs.uiuc.edu:8080^home^pl.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 552 行
HTML
552 行
Date: Wed, 20 Nov 1996 19:36:14 GMT
Server: NCSA/1.5.2
Last-modified: Tue, 15 Oct 1996 16:24:31 GMT
Content-type: text/html
Content-length: 13347
<html><head><TITLE> Programming Languages Group at UIUC </TITLE> </head><body><H1> Programming Languages Group</H1><!WA0><a href="http://www.cs.uiuc.edu/">Dep. of Computer Science</a>,<!WA1><a href="http://www.uiuc.edu/">University of Illinois</a>.<P><h3> Senior researchers </h3><h4><ul><li> <!WA2><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kamin.html">Sam Kamin</a><li> <!WA3><a href = "http://vesuvius.cs.uiuc.edu:8080/home/reddy.html">Uday Reddy</a></ul></h4><P><h3> Researchers </h3><h4><ul><li> <!WA4><a href="http://www.uiuc.edu/ph/www/mattox-b">Matt Beckman</a><li> Francois Bronsard<li> Bill Harrison<li> <!WA5><a href="http://www.uiuc.edu/ph/www/dalamar">Howard Huang</a><li> <!WA6><a href="http://www.uiuc.edu/ph/www/jjones">Joel Jones</a><li> <!WA7><a href="http://www-sal.cs.uiuc.edu/~lakshman/">T.K. Lakshman</a><li> <!WA8><a href="http://vesuvius.cs.uiuc.edu:8080/springer/">Jonathan Springer</a></ul></h4><P><h3> Our Colleagues at University of Illinois </h3><!WA9><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/agha.html">Gul Agha</a> | <!WA10><a href = "http://acsl.cs.uiuc.edu/~caplan/">Josh Caplan</a> | <!WA11><a href = "http://www-csag.cs.uiuc.edu/individual/achien/achien.html">Andrew Chien</a> |<!WA12><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/dershowitz.html">Nachum Dershowitz</a> |<!WA13><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/johnson.html">Ralph Johnson</a> |<!WA14><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kaplan.html">Simon Kaplan</a><P><!WA15><a href="http://www.math.uiuc.edu/~gray"> John Gray</a>, <!WA16><a href="http://www.uiuc.edu/ph/www/drg"> Dan Grayson</a>, and Gaisi Takeuti in <!WA17><a href="http://www.math.uiuc.edu/"> Dep. of Mathematics </a>.<P><!WA18><a href="#Our Colleagues Elsewhere"><h3>Our Colleagues Elsewhere</h3></a><P><h3> Our Research </h3><P><!WA19><a href="#Resources"><h3>WWW Resources </h3></a><HR><a name="Our Colleagues Elsewhere"><h2> Our Colleagues elsewhere </h2><ul><h4><LI> <!WA20><a href="http://dynamo.ecn.purdue.edu/~mspls">MSPLAS</a>: Midwest Soc. for Prog. Langs. and Systems</h4><li><!WA21><a href="http://www.dcs.ed.ac.uk/generated/infopages/samson.html">Samson Abramsky</a> at <!WA22><a href="http://www.dcs.ed.ac.uk/"><em>Edinburgh</em></a> <!WA23><a href="http://www.dcs.ed.ac.uk/lfcs/">LFCS</a>(formerly at<!WA24><a href="http://www.doc.ic.ac.uk/"><em>Imperial College</em></a>),<li><!WA25><a href="http://http.cs.berkeley.edu/~aiken/">Alex Aiken</a> at <!WA26><a href="http://www.cs.berkeley.edu/"><em>Berkeley</em></a>,<li><!WA27><a href="http://www.cs.princeton.edu/~appel/">Andrew Appel</a> at <!WA28><a href="http://www.cs.princeton.edu/"><em>Princeton</em></a>,<li><!WA29><ahref="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/spot/web/frg/Brookes.txt">Steve Brookes</a> at<!WA30><a href="http://www.cs.cmu.edu/Web/csd/csd.html"><em>Carnegie Mellon</em></a>,<li><!WA31><a href="http://www.cs.williams.edu/~kim/">Kim Bruce</a> at <!WA32><a href="http://www.cs.williams.edu/">Williams College</a>,<li><!WA33><a href="http://www.research.digital.com/SRC/personal/Luca_Cardelli/home.html">Luca Cardelli</a> at <!WA34><a href="http://www.research.digital.com/SRC/home.html"><em>Digital SRC</em></a>,<li>Corky Cartwrightand Matthias Felleisen at<!WA35><a href="http://www.cs.rice.edu/CS/PLT/index.html"><em>Rice</em></a>,<li><!WA36><a href="http://theory.doc.ic.ac.uk:80/tfm/papers/dePaivaVC">Valeria dePaiva</a>,<!WA37><a href="http://www.cl.cam.ac.uk/users/adg/">Andy Gordon</a> atCambridge,<li><!WA38><a href="http://www.cis.upenn.edu/~gunter/home.html">Carl Gunter</a> and<!WA39><a href="http://www.cis.upenn.edu/~dale">Dale Miller</a> at <!WA40><a href="http://www.cis.upenn.edu/"><em>UPenn</em></a>,<li><!WA41><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/rwh/public/www/home.html">Bob Harper</a> at <!WA42><a href="http://www.cs.cmu.edu/Web/csd/csd.html"><em>Carnegie Mellon</em></a>,<li><!WA43><a href="http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul.html">Paul Hudak</a> at Yale,<li><!WA44><a href="http://www.cs.chalmers.se/~rjmh">John Hughes</a> at<!WA45><a href="http://www.cs.chalmers.se/"><em>Chalmers</em></a>,<li><!WA46><a href="ftp://ftp.cwi.nl/pub/bjacobs"> Bart Jacobs</a> atCWI,<li><a>Radha Jagadeesan</a>,<!WA47><a href="http://www.math.luc.edu/~laufer/">Konstantin Laufer</a> at <!WA48><a href="http://www.math.luc.edu/">Loyola</a>,<li><a>David MacQueen</a>,<!WA49><a href= "http://cm.bell-labs.com/who/riecke/">Jon Riecke</a> at<!WA50><a href= "http://www.bell-labs.com/sitemap.html"><em>Bell Labs</em></a><li><a>Neil Jones</a>,<!WA51><a href="http://www.diku.dk/research-groups/topps/personal/tofte.html">Mads Tofte</a>, and<!WA52><a href="http://www.diku.dk/research-groups/topps/personal/henglein.html">Fritz Henglein</a>at<!WA53><a href="http://www.diku.dk/index-text.html"><em>DIKU</a> (Copenhagen)<!WA54><a href="http://www.diku.dk/research-groups/topps">TOPPS</a> group</em>,<li><!WA55><a href="http://www.cse.ogi.edu/~dick/dick.html">Dick Kieburtz</a>,<!WA56><a href="http://www.cse.ogi.edu/~jl/">John Launchbury</a> at<!WA57><a href="http://www.cse.ogi.edu/"><em>Oregon Grad. Institute</em></a>,<li><!WA58><a href="http://www.dcs.qmw.ac.uk/~ohearn/">Peter O'Hearn</a> at <!WA59><a href="http://www.dcs.qmw.ac.uk/">Queen Mary Westfield</a>,<li><!WA60><a href="http://wwwipd.ira.uka.de/~odersky/">Martin Odersky</a> at<!WA61><a href="http://wwwipd.ira.uka.de/">Karlsruhe</a>,<li><!WA62><a href="http://theory.stanford.edu/people/jcm/home.html">John Mitchell</a> at<!WA63><a href="http://www-cs.stanford.edu/"><em>Stanford</em></a>,<li><!WA64><a href="http://www.cl.cam.ac.uk/users/am/">Alan Mycroft</a>,<!WA65><a href="http://theory.doc.ic.ac.uk:80/tfm/papers/PittsAM">Andy Pitts</a> at Cambridge,<li><!WA66><a href="http://www.cs.indiana.edu/hyplan/pierce.html">Benjamin Pierce</a> at <!WA67><a href="http://www.cs.indiana.edu/"><em>Indiana</em></a>,<li><!WA68><a href="http://theory.stanford.edu/people/pratt/home.html">Vaughan Pratt</a> at <!WA69><a href="http://www-cs.stanford.edu/"><em>Stanford</em></a>,<li><!WA70><a href="http://www.loria.fr/~retore/index.html">Christian Retore</a> at<!WA71><a href="http://www.loria.fr/"><em>LORIA</em></a>,<li><!WA72><a href="http://theory.doc.ic.ac.uk:80/tfm/papers/ReynoldsJ">John Reynolds</a> at <!WA73><a href="http://www.doc.ic.ac.uk/"><em>Imperial College</em></a>/<!WA74><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/misc/mosaic/common/omega/Web/SCS-HOME.html"><em>Carnegie Mellon</em></a>,<li>Udi Shapiro</a> at<em> Weizmann</em> and<!WA75><a href="http://www.ubique.com"><em>Ubique</em></a><li><!WA76><a href="ftp://ftp.qucis.queensu.ca/pub/rdt">Bob Tennent</a> at <em>Queen's</em> (occasionally at<!WA77><a href="http://www.dcs.ed.ac.uk/"><em>Edinburgh</em></a>),<li><!WA78><a href="http://www.dcs.gla.ac.uk/~wadler">Phil Wadler</a> at <!WA79><a href="http://www.dcs.gla.ac.uk/"><em>Glasgow</em></a>,</ul><HR><a name="Resources"><P><h2> WWW Resources </h2><h4> Our Favorite Archives and Home Pages </h4><ul><li><!WA80><a href="http://hercule.csci.unt.edu:80/tcs-rolodex/">Theor Comp Science virtual rolodex</a>from<!WA81><a href="http://sigact.acm.org/sigact">SIGACT</a>.<li><!WA82><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html">Programming Language Research</a> (Mark Leone)<li><!WA83><a href="http://www.comlab.ox.ac.uk/archive/formal-methods.html">Formal Methods</a> (Jonathan Bowen)<li><!WA84><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/FuncArchive.html">Functional Programming Archive</a> (at SEL-HPC)<li> <!WA85><a href="http://theory.doc.ic.ac.uk/tfm/papers.html">Theory and Formal Methods archive</a> (at Imperial College)<li><!WA86><a href="http://hypatia.dcs.qmw.ac.uk/">Hypatia</a> (at Queen Mary and Westfield College)<li><!WA87><a href="http://www.math.tulane.edu/archive.html">Theoretical computer science archive</a> (at Tulane)<li><!WA88><a href= "http://www.mta.ca/~cat-dist/">Categories mailing list archive</a> (Bob Rosebrugh)<li><!WA89><a href="http://www.csl.sri.com/linear/sri-csl-ll.html">Linear logic home page</A> (Patrick Lincoln)<li><!WA90><a href="htp://www.informatik.uni-trier.de/~ley/db/lpgroups.html">Logic Programming</a><LI><!WA91><a href="http://cuiwww.unige.ch/OSG/OOinfo/">Object Oriented Programming</a><LI><!WA92><a href="http://web.cs.city.ac.uk/archive/constraints/constraints.html">Constraints</a><LI><!WA93><a href="http://www-formal.stanford.edu/clt/ARS/ars-db.html">Mechanized reasoning</a> (Carolyn Talcott and Michael Kohlhase)</ul><h4> Electronic journals </h4><ul><li><!WA94><a href="http://www.mpi-sb.mpg.de/igpl/Bulletin">Bulletin of the IGPL (Interest group on Pure and Applied Logics)</a><li><!WA95><a href="http://www.cs.utwente.nl/data/amast/Index.html">AMAST Newsletter (Algebraic Methodology and Software Technology)</a></ul><h4> Mailing List Archives</h4><ul><li> <!WA96><a href="http://www.mta.ca/~cat-dist/">Categories</a></ul><h4> Our Favorite Conferences </h4><ul><LI> <!WA97><a href="http://pauillac.inria.fr/SIGPLAN/conferences/popl96/">POPL</a>: Principles of Programming Languages<LI><!WA98><A HREF="http://vesuvius.cs.uiuc.edu:8080/sipl/index.html">SIPL</a>: State in Programming Languages<LI><!WA99><a href= "http://www.cs.williams.edu/~kim/FOOL/index.html">FOOL</a>: Foundations of Object-oriented Languages<LI> <!WA100><a href="http://www.cs.indiana.edu/icfp96/index.html">ICFP</a>: Intern. Conf. on Functional Programming<LI> <!WA101><a href="http://info.acm.org/sig_forums/sigplan/oopsla95.html">OOPSLA</a>: Object-oriented Prog. Systems Langs. Appls.<LI> <!WA102><a href="http://www.bell-labs.com/topic/conferences/lics/">LICS</a>: Logic in Computer Science<LI> <!WA103><a href="http://www.math.tulane.edu/MFPS.html">MFPS</a>: Mathematical Foundations of Programming Semantics<LI> <!WA104><a href="http://www.cl.cam.ac.uk/users/am/sas-95">SAS</a>: Static Analysis Symposium<LI> <!WA105><a href="http://www.cs.purdue.edu/homes/gb/MSPLS95.html">MSPLAS</a>: Midwest Soc. for Prog. Langs. and Systems<li> <!WA106><a href="http://www.cs.albany.edu/~nvm/cade.html">CADE</a>: Conference on Automated Deduction<li> <!WA107><a href="http://www.iao.fhg.de/Library/conferences/">WWW Virtual Library of Conferences</a></ul><h4> Conference/Journal/Tech Report Contents </h4><ul><li><!WA108><a href="http://theory.lcs.mit.edu/~dmjones/hbp/bibsearch.html">Hypertext Bibliography Project (HBP) database</a><li><!WA109><a href="http://www.informatik.uni-trier.de/~ley/db/index.html">Database systems and logic programming (Michael Ley, Trier)</a><BLINK> Cool site!! </BLINK><li><!WA110><a href="http://www.cup.cam.ac.uk/">Cambridge</a>:<!WA111><a href="http://www.dcs.gla.ac.uk/jfp">J. of Functional Programming</a><li><!WA112><a href="http://www.bubl.bath.ac.uk/BUBL/APJournals.html">Academic Press</a>:<!WA113><a href="http://theory.lcs.mit.edu/~iandc/">Information and Computation</a>, <!WA114><a href="http://info.risc.uni-linz.ac.at/local/library/jsc">J. Symbolic Computation</a>.<li><!WA115><a href="http://www.elsevier.nl/">Elsevier</a>:<!WA116><a href="http://www.elsevier.nl/freeinfo/mathcompcog/505625/505625.HTM">Theoretical Computer Science</a>.<li><!WA117><a href="gopher://gopher.wkap.nl/">Kluwer</a>.<li><!WA118><a href="http://www.springer.co.uk/">Springer-Verlag</a>:<!WA119><a href="http://www.springer.co.uk/eWiC/Introduction.html">Electronic Workshops in Computing</a>.<li><!WA120><a href="http://info.acm.org/">ACM</a>,<!WA121><a href="http://pauillac.inria.fr/SIGPLAN/">SIGPLAN</a>:<!WA122><a href="http://www.informatik.uni-trier.de/~ley/db/journals/toplas/index.html">TOPLAS</a>,<!WA123><a href="http://theory.lcs.mit.edu/~jacm/">JACM</a>,<!WA124><a href="http://www.informatik.uni-trier.de/~ley/db/conf/popl/index.html">POPL</a>,<!WA125><a href="http://www.informatik.uni-trier.de/~ley/db/conf/pldi/index.html">PLDI</a>,<!WA126><a href="http://www.informatik.uni-trier.de/~ley/db/conf/oopsla/index.html">OOPSLA</a>.<li><!WA127><a href="http://www.cs.mu.oz.au/~ad/alp/info-alp.html">ALP</a>:<!WA128><a href="http://www.informatik.uni-trier.de/~ley/db/conf/iclp/index.html">ICLP</a>,<!WA129><a href="http://www.informatik.uni-trier.de/~ley/db/conf/slp/index.html">SLP</a>,<!WA130><a href="http://www.informatik.uni-trier.de/~ley/db/journals/jlp/index.html">JLP</a>.<li><!WA131><ahref="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/jblythe/Mosaic/cs-reports.html">Menu of On-line CS Techreports, CMU</a><li><!WA132><a href="http://harvest.cs.colorado.edu/brokers/cstech/query.html">Harvest broker for CS technical reports, Colorado</a>. <li><!WA133><a href="http://glimpse.cs.arizona.edu:1994/bib/">Glimpse server for CS bibliography entries, Arizona</a>.<BLINK>Cool site!!</BLINK><li><!WA134><a href="http://www.cs.indiana.edu/cstr/search">Unified Computer Science TR Index, Indiana</a>. <li><!WA135><a href="http://www.yahoo.com/search.html"><em> Yahoo</em> search engine</a><li><!WA136><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/misc/mosaic/common/omega/Web/Library/bibliographies.html">CMU Library guide to online bibliographies</a>.<li><!WA137><a href= "http://www.bookshop.co.uk/default.htm">Internet Book Shop (UK) </a>.<li><!WA138><a href= "http://www.prenhall.com/list/computem.html">Prentice-Hall </a></ul><h4> Funding agencies </h4><ul><li><!WA139><a href="http://www.nsf.gov/">NSF</a>,<!WA140><a href="http://www.cise.nsf.gov/">CISE</a>,<!WA141><a href="http://www.cise.nsf.gov/cise/CCR/CCRHome.html">CCR</a>.<li><!WA142><a href="http://www.csto.arpa.mil/">ARPA</a>,<!WA143><a href="http://www.csto.arpa.mil/CSTOWelcome.html">CSTO</a>.<li><!WA144><a href="http://www.onr.navy.mil/">ONR</a>,<!WA145><a href="http://web.fie.com/web/fed/onr/prog/onrpgaaj.html">Software program</a>.<li><!WA146><a href="http://www.gsfc.nasa.gov/NASA_homepage.html">NASA</a>.</ul>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?