Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt

Source URL: homes.sice.indiana.edu

• Theoretical computer science
• Lambda calculus
• Inter-process communication
• Software engineering
• Mathematical logic
• Combinatory logic
• Logic in computer science
• Futures and promises
• Evaluation strategy
• Evaluation
• Monitor
• Futures contract

Deserti, Julie; Grivaux, Julien  Automorphisms of rational surfaces with positive entropy. (English) Zbl
Indiana Univ. Math. J. 60, No. 5, ). The authors identify a systematic means of const

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Geometry
• Abstract algebra
• Birational geometry
• Group theory
• Algebraic surfaces
• Automorphism
• Cremona group
• Rational surface

Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c

Source URL: homes.sice.indiana.edu

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant Rowan Davies Sam Tobin-Hochstadt

Source URL: homes.sice.indiana.edu

Inferring Mechanics of Web Censorship Around the World John-Paul Verkamp Minaxi Gupta School of Informatics and Computing, Indiana University

Source URL: www.usenix.org

• Computing
• Information and communications technology
• Internet architecture
• Information Age
• Firewall software
• Internet censorship
• Computer network security
• Great Firewall
• Content-control software
• Localhost
• Firewall
• Router

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: homes.sice.indiana.edu

• Type theory
• Software engineering
• Programming language theory
• Computing
• Scheme
• System F
• Type system
• HindleyMilner type system
• Racket
• Boolean data type
• Macro
• Typing environment

Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take

Source URL: homes.sice.indiana.edu

Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton

Source URL: homes.sice.indiana.edu

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Type systems
• Functional languages
• Programming paradigms
• Procedural programming languages
• Type inference
• HindleyMilner type system
• Monad
• Functional programming

Sam Tobin-Hochstadt School of Informatics, Computing, & Engineering Indiana University 500 N. Woodlawn Ave. Bloomington, IN 47405

Source URL: homes.sice.indiana.edu

• Software engineering
• Computing
• Computer programming
• Functional languages
• Scheme
• Matthias Felleisen
• Programming paradigms
• International Conference on Functional Programming
• Racket
• Matthew Flatt
• SIGPLAN
• Robert Bruce Findler

PDF Document

Source URL: www.publichealth.indiana.edu