Date Range
Date Range
Date Range
No Life no ホワイトニング0919 121932 129.
For all Liam Fans Everywhere! Founded 8 Years ago. , Captain Jushiro Ukitake from Bleach, Lloyd Asplund from Code Geass and many more! Founded 8 Years ago.
I specialise in programming languages and type systems, verification, compilers, formal methods, concurrency and parallel programming. As a member of the UNSW PLS Group. I work regularly in and on the Haskell. Programming language and the Agda. I have strong interest in the PLS projects DPH. I am the designer of the Cogent. Project and tools for the Isabelle.