Penn: University of Pennsylvania

Description: The University of Pennsylvania is one of the oldest universities in America and, as a member of the Ivy League, one of the most prestigious institutions of higher learning in all the world.

Keywords: University of Pennsylvania, Penn, Higher Education, Academia, Amy Gutmann, Graduate, Undergraduate, Ivy League, research, upenn

Upenn.edu has 743 URLs listed in 667 Dmoz categories.

Grammars for Regular Languages
A series of pages showing that a regular grammar is either a right-linear or left-linear grammar.
http://www.seas.upenn.edu/~cit596/notes/dave/reggram1.html
Top/Computers/Computer_Science/Theoretical/Formal_Language_Theory/Regular_Languages

The Types Forum
E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
http://lists.seas.upenn.edu/mailman/listinfo/types-list
Top/Computers/Computer_Science/Theoretical/Forums_and_Networks

John W. Mauchly and the Development of the ENIAC Computer
Substantial texts, photos, references. Exhibition in the Department of Special Collections, Van Pelt Library, University of Pennsylvania.
http://www.library.upenn.edu/exhibits/rbm/mauchly/jwmintro.html
Top/Computers/History/Pioneers/Mauchly,_John

A Search for Google’s Success Turns Up Two Words: Trust and Technology
Article that looks on the reasons behind Google success. [Free registration required.]
http://knowledge.wharton.upenn.edu/article.cfm?articleid=435
Top/Computers/Internet/Searching/Search_Engines/Google/News_and_Media

Theory of Computation
A complete mini-course on Formal Languages and Automata
http://www.seas.upenn.edu/~cit596/notes/dave/syllabus.html
Top/Computers/Programming/Compilers/FAQs,_Help,_and_Tutorials

ICFP Programming Contest
Annual programming contest held in conjunction with International Conference on Functional Programming. Accepts submissions written using any programming language.
http://alliance.seas.upenn.edu/~plclub/cgi-bin/contest/
Top/Computers/Programming/Contests

Quadratic Assignment Problem Library (QAPLIB)
By R.E. Burkard, E. Çela, S.E. Karisch and F. Rendl.
http://www.seas.upenn.edu/qaplib/codes.html
Top/Computers/Programming/Languages/Fortran/Source_Code/Optimization

PLAN: A Packet Language for Active Networks
Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Project. Descriptions, documents, downloads, contacts, links.
http://www.cis.upenn.edu/~dsl/PLAN/
Top/Computers/Programming/Languages/Functional

Regular expressions
An introduction from a University course.
http://www.seas.upenn.edu/~cit596/notes/dave/regexp0.html
Top/Computers/Programming/Languages/Regular_Expressions/FAQs,_Help,_and_Tutorials

Shading Languages
Powerpoint presentation on 3D shading languages. Includes coding comparisons and pros/cons of various shading languages.
http://www.cis.upenn.edu/~suvenkat/700/lectures/21/gpusl.ppt
Top/Computers/Programming/Languages/Shading_Languages