1 Poster: HoneyBot- A Honeypot for Robotic Systems Celine Irvene, Member, IEEE, David Formby, Member, IEEE, Sam Litchfield, Member, IEEE, and Raheem Beyah, Senior Member, IEEE

Source URL: www.ieee-security.org

• Computer network security
• Security engineering
• Computing
• Cyberwarfare
• Honeypot
• Spamming
• Robotics
• Robot
• Cyber-physical system
• Computer security
• Client honeypot

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.sam-ptf.com

PDF Document

Source URL: www.sam-ptf.com

DOCX Document

Source URL: misc.sam.sdu.dk

PDF Document

Source URL: www.sam-ptf.com

PDF Document

Source URL: www.sam-ptf.com

PDF Document

Source URL: www.sam-ptf.com

PDF Document

Source URL: www.sam-ptf.com