ヒビルテ [論文 (2005年)]
Categories |
本 |
logic-programming |
tDiary |
英語 |
gimp |
ruby |
cygwin |
scheme |
gtk |
quiz |
流行りもの |
時事 |
映画 |
tom |
TV |
URL |
w3m |
ネタ |
Web |
検索 |
論文 |
圏論 |
haskell |
javascript |
machine-learning |
メモ |
向井研 |
CPL |
食 |
ChannelTheory |
linguistics |
SemanticWeb |
logic |
型理論 |
東方 |
continuation |
後で |
Topology via Logic |
ocaml |
modal-logic |
theorem-proving |
hiki |
モデル検査 |
人狼 |
programming-contest |
agda |
probability |
quantum |
音楽 |
coq |
money |
Alloy |
lifehack |
music |
maude |
プロセス代数 |
thinkpad |
game |
security |
linear-programming |
optimization |
Erlang |
iPhone |
mac
- 2005-01-21#p01 Composable memory transactions, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Submitted to PPoPP 2005.
- 2005-01-26#p01 Strongly typed heterogeneous collections, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-26#p02 Haskell's overlooked object system, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-27#p01 Bayesian Networks for Lossless Dataset Compression, Scott Davies and Andrew Moore
- 2005-01-27#p02 Probabilistic Logic Programming and Bayesian Networks, Liem Ngo and Peter Haddawy
- 2005-02-18#p03 Theorems for free!. Philip Wadler
- 2005-02-19#p01 Recursive types for free!, Philip Wadler
- 2005-02-22#p01 When is a function a fold or an unfold?, Jeremy Gibbons, Graham Hutton, and Thorsten Altenkirch
- 2005-02-22#p02 Constructively Characterizing Fold and Unfold, Tjark Weber and James Caldwell
- 2005-03-03#p01 Representations of First order function types as terminal coalgebras, Thorsten Altenkirch
- 2005-03-09#p03 Extensional PERs, Peter J. Freyd, P. Mulry, Giuseppe Rosolini, D. Scott
- 2005-03-09#p04 An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa
- 2005-03-10#p04 Scott is not Always Sober. By Peter T. Johnstone, in Continuous lattices, Lecture Notes in Mathematics, 871 (1981), pp. 282--283.
- 2005-03-15#p02 Parametricty and Mulry's Strong Dinaturality - A. Eppendahl
- 2005-03-15#p03 Free Theorems in the Presence of seq - P. Johann and J. Voigtländer
- 2005-03-16#p03 Jan Johannsen's cute title collection
- 2005-03-21#p01 Linear Logic complements Classical Logic - Vaughan Pratt
- 2005-03-27#p01 Traced Premonoidal Categories - Nick Benton and Martin Hyland
- 2005-03-31#p04 Algebraically compact functors - Michael Barr
- 2005-04-06#p03 Data Structures Considered Harmful - John G. Cleary, Mark Utting, and Roger Clayton
- 2005-04-14#p03 The SLam Calculus: Programming with Secrecy and Integrity - Nevin Heintze and Jon G. Riecke
- 2005-04-15#p03 Programming with Static Invariants in Ωmega - Nathan Linger and Tim Sheard
- 2005-04-30#p01 Premonoidal categories and notions of computation, John Power and Edmund Robinson
- 2005-05-28#p01 Why Dependent Types Matter. Thorsten Altenkirch, Conor McBride, James McKinna
- 2005-05-29#p02 Extensional Equality in Intensional Type Theory. Thorsten Altenkirch
- 2005-05-31#p02 Describing and Reasoning on Web Services using Process Algebra. Gwen Salaün, Lucas Bordeaux, Marco Schaerf
- 2005-06-04#p02 Qualified Types for MLF by Daan Leijen and Andres Löh
- 2005-07-02#p04 Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl). Oleg Kiselyov, Chung-chieh Shan and Daniel P. Friedman and Amr Sabry
- 2005-09-17#p01 型理論での形式的証明記述の技法について; 木下 佳樹, 高村博紀
- 2005-09-22#p01 型代入を遅延する最適化型推論アルゴリズム; 上野雄大, 大堀淳
- 2005-09-23#p01 Agdaプラグイン機構; 池上 大介
- 2005-09-29#p01 Freek Wiedijk. Comparing mathematical provers
- 2005-10-02#p01 Codata, Thorsten Altenkirch
- 2005-10-03#p02 Overloading in Agda. Catarina Coquand
- 2005-10-03#p03 この日記でのスライド等の扱い
- 2005-10-05#p01 Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence; James Cheney, Christian Urban
- 2005-10-08#p03 Haskellへの多相バリアントの導入について. 香川 孝司
- 2005-10-10#p01 CoInduction in Coq. Yves Bertot
- 2005-10-11#p01 正規表現とプロセス代数に基づく通信プロトコルコンパイラ. 服部健太, 数馬洋一
- 2005-10-12#p01 一階様相μ計算. 岡本圭史
- 2005-10-13#p01 Logic, Higher-order. Dale Miller
- 2005-10-14#p02 単純型つきλ計算の強正規性の初等的な証明
- 2005-10-16#p01 Interfaces as games, programs as strategies. Markus Michelbrink
- 2005-10-27#p03 Partial co-recursive functions, Yves Bertot
- 2005-10-27#p05 Type Theory with First-Order Data Types and Size-Change Termination, David Wahlstedt
- 2005-11-22#p02 A Cookbook for the Haskell XML Toolbox with Examples for Processing RDF Documents. Manuel Ohlendorf
- 2005-12-08#p02 スクリプト言語Rubyの拡張可能な多言語テキスト処理の実装, 松本行弘 縄手雅彦