Proofs and formal semantics in the context of language design and security are incredibly interesting to me. Definitely at the least, understanding process calculi would be help, likely tantamount to knowing System F or the lambda calculus is for functional languages like Haskell and OCaml.

By the way, I didn't get too far into it. I'm really scattered with my self learning, ha. It's hard for me to stay on one topic for so long because I want to learn so many, heh

On Fri, Jun 26, 2015 at 5:28 PM, Raoul Duke <raould@gmail.com> wrote:

> Did you ever read anything like that?

I haven't, I'm so far still a simpleton in the land of process calculi.

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs