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

ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 3: More Interactive Proofs 1

Source URL: gitlab-beta.engr.illinois.edu

• Cryptography
• Public-key cryptography
• Commitment scheme
• Secret sharing
• Negligible function
• XTR
• Zero-knowledge proof

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

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, Sayan Mitra Coordinated Science Laboratory University of Illinois at Urbana-Champaign

Source URL: mitras.ece.illinois.edu

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

PDF Document

Source URL: maxim.ece.illinois.edu

PDF Document

Source URL: www.ece.usu.edu

PDF Document

Source URL: nowak.ece.wisc.edu

PDF Document

Source URL: nsrg.ece.illinois.edu