Skip to content

Zeina | زينه

Ph.D. student at UCLA

  • About
  • Publications
  • TA’ships
  • Projects
  • Contact

Publications

What is Decidable about Gradual Types? with Jens Palsberg. In ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ’20). Artifact.

On the Cost of Type-Tag Soundness with Ben Greenman. In Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18).

 

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...
  • Linkdin
  • GitHub
Website Built with WordPress.com.
%d bloggers like this: