AlBasmala Archive Tags RSS About

12 Mar 2019
Article image


Herein I try to make my current doctoral research accessible to the average person: Extending dependently-typed languages to implement module system features in the core language. It's something I can direct my family to, if they're inclined to know what it is I've been doing lately.

The technical matter can be seen at the associated website ─The Next 700 Module Systems─ which includes a poster, slides, and a demo.

Excluding the abstract, this is my thesis proposal in three minutes (•̀ᴗ•́)و

( Photo by Vitor Santos on Unsplash )

1 Part I ─Getting the mail

2 Part II ─Building blocks

3 Part III ─Arithmetic

So next time you send a package, think of what it means to me and how many languages are involved!

Tags: packages dependent-types
Generated by Emacs and Org-mode (•̀ᴗ•́)و

Creative Commons License
Life & Computing Science by Musa Al-hassy is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.
comments powered by Disqus