Nataliya Guts

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Object Oriented Programming

Genetic Algorithm

Computer Programming

General Purpose

Top Venues

Publications

Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy
Polymonadic Programming. MSFP (2014)
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Lightweight monadic programming in ML. ICFP (2011)
Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts
Typechecking Higher-Order Security Libraries. APLAS (2010)
Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli
Reliable Evidence: Auditability by Typing. ESORICS (2009)
Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli
A Formal Implementation of Value Commitment. ESOP (2008)
Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio
Coordinating mobile agents in interaction spaces. Sci. Comput. Program. 66 (3) (2007)