A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

MorphAdorner A Java Library for the Morphological Adornment of English Language Texts VersionOctober 1, 2013. Copyright © 2007, 2013 by Northwestern University. – DRAFT – DRAFT – DRAFT --

Source URL: morphadorner.northwestern.edu

MAPPING INFORMATION LITERACY: PLANNING FOR STUDENT LEARNING AND ASSESSMENT Anne Zald, Northwestern University Library 14th Annual Information Literacy Summit

Source URL: informationliteracysummit.org

• Digital divide
• Information literacy
• Information science
• Literacy
• Curriculum
• Education

History of the University Libraries University of South Alabama Dr. Frederick Whiddon, the first president of the University of South Alabama, recognized that a first-class academic library was one of the most important

Source URL: notis-history.northwestern.edu

• Library science
• Academic libraries
• Librarian
• Library
• Texas A&M University Libraries
• Ninoy Aquino Library and Learning Resources Center

Unravel: Rapid Web Application Reverse Engineering via Interaction Recording, Source Tracing, and Library Detection Joshua Hibschman Northwestern University Evanston, IL USA

Source URL: users.eecs.northwestern.edu

• JavaScript libraries
• Ajax
• JavaScript
• Firebug
• JQuery
• Application programming interface
• WebKit
• Node.js

Northwestern University Archives • Evanston, Illinois RALPH C. J. WALLACE SCRAPBOOK, SeriesBox 1 Biography

Source URL: files.library.northwestern.edu

Northwestern University Archives • Evanston, Illinois Records of the Evanston Academy, SERIES 38/8 BOXES: 1-2 (including one half-size box) History

Source URL: files.library.northwestern.edu

This article was downloaded by: [Perpetual Access - Northwestern University Library] On: 17 December 2010 Access details: Access Details: [subscription numberPublisher Taylor & Francis Informa Ltd Registered

Source URL: users.iems.northwestern.edu

Northwestern University Archives Evanston, Illinois EDITH A. STERNFELDSCRAPBOOK, SERIES

Source URL: files.library.northwestern.edu