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

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

Source URL: homes.sice.indiana.edu

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Source URL: www.ece.northwestern.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Type systems
• Lambda calculus
• Subroutines
• Data types
• Gradual typing
• Racket
• Go
• Programming language

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

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

Journal of Computational Physics 182, 357–doi:jcphA Composite Runge–Kutta Method for the Spectral Solution of Semilinear PDEs Tobin A. Driscoll1

Source URL: www.math.udel.edu

TOBIN’S SPIRIT GUIDE TOBIN’S SPIRIT GUIDE [STANDARD EQUIPMENT]

Source URL: www.kvchester.com

Graduate Assistantship in the Department of Health and Kinesiology Applied Biomechanics Laboratory Position description The lab is located on UTSA main campus within the Science Research Laboratories (next to Tobin Marg

Source URL: www.cs.utsa.edu

Tobin Crest Wilderness Proposal DRAFT32N 38E 35,005 proposed

Source URL: www.pershingcounty.net