Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cyrus Omar
Statically Typed String Sanitation Inside a Python
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Querying the User Properly for High-Performance Brain-Machine Interfaces: Recursive Estimation, Control, and Feedback Information-Theoretic Perspectives
2008 IEEE International Conference on Acoustics, Speech and Signal Processing
Related publications
A Light-Weight Statically Scheduled Network-On-Chip
Inside the Sanitation System: Mierle Ukeles, Urban Ecology and the Social Circulation of Garbage
Iowa Journal of Cultural Studies
Typed Regions
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
A Statically Unstable Passive Hopper: Design Evolution
Journal of Mechanisms and Robotics
Mechanical Engineering
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dependently Typed Programming
Progress in Informatics
Typed Logics With States
Logic Journal of the IGPL
Philosophy
"May You Have a Strong (-Typed) Foundation" Why Strong-Typed Programming Languages Do Matter
