▽Lambda the Ultimate | Programming Languages Weblog
●03/07 06:13
Platonic C# - Managing Referential Transparency through Unique TypesThe idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around defaulting to immutability of data structures and requiring uniqueness of instances of mutable types.

▽sumiiの日記
●02/13 20:05
▼ ▶20122012 / 10▼ ▶20112011 / 8▼ ▶20102010 / 22010 / 1▼ ▶20092009 / 112009 / 102009 / 92009 / 82009 / 72009 / 62009 / 52009 / 42009 / 32009 / 22009 / 1▼ ▶20082008 / 122008 / 112008 / 102008 / 92008 / 82008 / 72008 / 62008 / 52008 / 42008 / 32008 / 22008 / 1▼ ▶20072007 / 122007 / 112007 / 102007 / 92007 / 82007 / 72007 / 62007 / 52007 / 42007 / 32007

▽おおやにき
●01/07 10:39
このﾄﾞﾒｲﾝを購入する｡zive.net2023 著作権. 不許複製ﾌﾟﾗｲﾊﾞｼｰﾎﾟﾘｼｰ

▽ Formal Methods Forum | Google ｸﾞﾙｰﾌﾟ
●12/10 19:00
kencobaですtmiyaさん会場調整ありがとうございます！ 私､現状だと平日夜参加ですねｰ｡ 2014年2月5日 15:32 tmiya <tm...@bu.iij4u.or.jp>:kencobaですtmiyaさん会場調整ありがとうございます！ 私､現状だと平日夜参加ですねｰ｡ 2014年2月5日 15:32 tmiya <tm...@bu.iij4u.or.jp>:小林です｡ お､ちょっとﾁｬﾚﾝｼﾞしてみます｡ Alloyの知識より､様相論理の知識が必要とされるですね･･･ 2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.小林です｡ お､ちょっとﾁｬﾚﾝｼﾞしてみます｡ Alloyの知識より､様相論理の知識が必要とされるですね･･･ 2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.

▽Jim McBeath
●12/07 12:53
Posted by Jim McBeath at 10:28 PM 0Posted by Jim McBeath at 9:24 PM 0Posted by Jim McBeath at 3:31 PM 0