▽Philip Wadler’s home page
●12/26 14:18
Explicit Weakening Philip Wadler. A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday - Freiburg, Germany. EPTCS 413. August 2024.

▽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