Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA

Source URL: manticore.cs.uchicago.edu

Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago

Source URL: www.cs.utah.edu

• Discworld
• Literature
• Fiction
• Angua
• Ankh-Morpork
• Troll
• Discworld books
• PICT
• Brutha
• Ankh-Morpork City Watch

Fairness in an Unfair World: Fair Multiparty Computation from public Bulletin Boards Arka Rai Choudhuri Johns Hopkins University Matthew Green

Source URL: eprint.iacr.org

• Cryptography
• Secure multi-party computation
• Authenticated encryption
• Ciphertext indistinguishability
• Public-key cryptography
• Cryptographic protocol
• Encryption
• Digital signature
• Standard model
• Key
• Advantage

POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

Source URL: www.ece.northwestern.edu

CLARK COUNTY BOARD OF ELECTIONS www.electionsonthe.net/oh/clark Chairperson  Lynda Smith Director  Matthew Tlachac Members  Ted A. McClenen  Max Cordle  Dale Henry

Source URL: clark.ohioboe.com

OpenSky Report 2017: Mode S and ADS-B Usage of Military and other State Aircraft Matthias Sch¨afer∗ , Martin Strohmeier† , Matthew Smith† , Markus Fuchs‡ , Vincent Lenders§ , Marc Liechti¶ , Ivan Martinovic†

Source URL: www.lenders.ch

Public Evidence from Secret Ballots Matthew Bernhard/ Josh Benaloh† J. Alex Halderman/ Ronald L. Rivest Peter Y. A. Ryan◦ Philip B. Stark‡ Vanessa Teague. Poorvi L. Vora§ Dan S. Wallach? † Microsoft Research /

Source URL: mbernhard.com

• Voting
• Politics
• Elections
• Group decision-making
• Electronic voting
• Election technology
• Electoral fraud
• Voter-verified paper audit trail
• Scantegrity
• ThreeBallot
• Election audits
• Postal voting

Submodules in Racket You Want it When, Again? Matthew Flatt PLT and University of Utah

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Scheme
• Functional languages
• Hygienic macro
• Racket
• Macro
• Module

The Racket Reference Version 6.4 Matthew Flatt and PLT February 8, 2016

Source URL: download.racket-lang.org

• Computer programming
• Software engineering
• Computing
• Object-oriented programming languages
• Functional languages
• Data types
• Functional programming
• Scripting languages
• Racket
• Generator
• Macro
• Mutator method

The Tits Alternative Matthew Tointon April 2009 0

Source URL: tointon.neocities.org

• Group theory
• Algebra
• Abstract algebra
• Geometric group theory
• Lie groups
• Infinite group theory
• Linear algebraic group
• Topological groups
• Tits alternative
• Algebraic group
• Reductive group
• Solvable group