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.
  • Follow Following
    • Zeina | زينه
    • Already have a WordPress.com account? Log in now.
    • Zeina | زينه
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Copy shortlink
    • Report this content
    • View post in Reader
    • Manage subscriptions
    • Collapse this bar
%d bloggers like this: