Nataliya Guts

According to our database, Nataliya Guts authored at least 6 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Polymonadic Programming.

Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

2011

Lightweight monadic programming in ML.

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Typechecking Higher-Order Security Libraries.

Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Reliable Evidence: Auditability by Typing.

Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli

Proceedings of the Computer Security, 2009

2008

A Formal Implementation of Value Commitment.

Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli

Proceedings of the Programming Languages and Systems, 2008

2007

Coordinating mobile agents in interaction spaces.

Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio

Sci. Comput. Program., 2007