サクサク読めて、アプリ限定の機能も多数!
近年のモダンな関数型論理プログラミング言語。2002年 FLOPS。
kirakking のブックマーク 2014/07/19 17:10
To the Gates of HAL: A HAL Tutorial[constraint programming][research][doi][functional logic programming][あとで読む]近年のモダンな関数型論理プログラミング言語。2002年 FLOPS。2014/07/19 17:10
このブックマークにはスターがありません。 最初のスターをつけてみよう!
dx.doi.org2014/07/19
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
近年のモダンな関数型論理プログラミング言語。2002年 FLOPS。
kirakking のブックマーク 2014/07/19 17:10
このブックマークにはスターがありません。
最初のスターをつけてみよう!
To the Gates of HAL: A HAL Tutorial
dx.doi.org2014/07/19
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /