▽Philip Wadler’s home page
●12/29 01:42
A simple blame calculus for explicit nulls Ondrej Lhotak and Philip Wadler. Journal of Functional Programming 34, e15, 26 pages, 2025.

▽Digital Travesia 〜 でじたる　とらべしあ 〜
●12/22 18:29
作者ﾎｰﾑﾍﾟｰｼﾞｻｰﾋﾞｽ（hp.vector）は終了いたしました｡作者ﾎｰﾑﾍﾟｰｼﾞｻｰﾋﾞｽ（hp.vector）は終了いたしました｡長らくのご利用､ありがとうございます｡ご不明な点があれば､お問い合わせﾍﾟｰｼﾞをご覧の上､お問い合わせください｡※15秒後にﾄｯﾌﾟﾍﾟｰｼﾞに戻ります｡(c) Vector HOLDINGS Inc.All Rights Reserved.

▽共立出版株式会社　刊行中のｼﾘｰｽﾞ｢ｱﾙｺﾞﾘｽﾞﾑ･ｻｲｴﾝｽ ｼﾘｰｽﾞ｣
●12/22 05:04
├ Word├ Excel

▽Simon Peyton Jones
●12/21 19:15
Learn moreAshvin AgrawalPrincipal Research SDE

▽The Monad.Reader - HaskellWiki
●12/05 13:25
View sourceView source