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

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.ece.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Combinatory logic
• Design by contract
• Enumerated type
• Eiffel
• Objective-C
• Contract
• Scope
• Exception handling

Collapsible Contracts: Fixing a Pathology of Gradual Typing

Source URL: www.ece.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler

Source URL: www.ece.northwestern.edu

• Computability theory
• Models of computation
• Theoretical computer science
• Software engineering
• Scope
• Lambda calculus
• Computing

Publicado en Septiembre deEste documento usa la versión 6.0 de NetLogo. Traducción por Haroldo Miranda. GUIA DE PROGRAMACION DE NETLOGO AGENTES El mundo de NetLogo está compuesto de agentes. Los agentes son se

Source URL: ccl.northwestern.edu

Publicado en Septiembre deEste documento usa la versión 6.0 de NetLogo. Traducido al Castellano por Haroldo Miranda. Tutorial # 3 Procedimientos Agentes y Procedimientos En el Tutorial n.º 2, aprendió a usar el

Source URL: ccl.northwestern.edu

Languages the Racket Way 2016 Language Workbench Challenge Daniel Feltey Spencer P. Florence

Source URL: www.ece.northwestern.edu

• Computer programming
• Software engineering
• Computing
• Functional languages
• Scheme
• Source code
• Object-oriented programming languages
• Hygienic macro
• Racket features
• Macro
• Racket
• Syntax

Marina E. Henke Ph.D. Northwestern University Scott Hall, 601 University Pl., Evanston, IL, www.marinahenke.com

Source URL: www.marinahenke.com

• International relations
• Global politics
• United Nations peacekeeping
• Peacekeeping
• Structure
• Center on International Cooperation
• United Nations
• Common Security and Defence Policy
• Humanitarian intervention
• African Union

1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA

Source URL: www.ece.northwestern.edu

• Mathematics
• Algebra
• Fractals
• L-system
• Fractal curves
• Hygienic macro
• Arity
• Constructible universe