ヒビルテ [論文 (2004年)]
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
- 2004-01-08#p02 Citrus iconv の実装
- 2004-01-28#p02 Detours: Binary Interception of Win32 Functions
- 2004-02-10#p01 IF-Map: An Ontology-Mapping Method based on Information-Flow Theory
- 2004-04-03#p01 Polymorphism is not set-theoretic
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-24#p01 "Typing Haskell in Haskell", Mark P. Jones
- 2004-04-27#p01 "Language-Based Information-Flow Security", Andrei Sabelfeld and Andrew C. Myers
- 2004-04-28#p01 "Institution Morphisms", Joseph Goguen, Grigore Rosu
- 2004-05-01#p03 "A denotational semantics of inheritance and its correctness", William Cook and Jens Palsberg
- 2004-05-23#p01 "Restricted Datatypes in Haskell", John Hughes (Chalmers University, Sweden)
- 2004-05-29#p04 "A New Notation for Arrows", Ross Paterson
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-12#p01 "部分グラフ同型判定アルゴリズムのFPGAによる実装と評価", 市川 周一, ラターナセンタン・ウドーン(Lerdtanaseangtham Udorn), 小西 幸治
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-07-03#p03 Bananas in Space: extending Fold and Unfold to Exponential Types
- 2004-07-27#p02 Enumerating the Rationals.
- 2004-07-28#p01 FREYD, P. J. 1990. Recursive Types Reduced to Inductive Types. In Proceedings 5th IEEE Annual Symp. on Logic in Computer Science, LICS'90 (Philadelphia, PA, USA, 4-7 June 1990). IEEE Computer Society Press, Los Alamitos, CA, 498-507.
- 2004-08-02#p01 "擬データを用いた対話的関数プログラミングに関する研究", 石井裕一郎
- 2004-08-04#p01 "Inductive, coinductive, and pointed types", Brian T. Howard
- 2004-08-05#p02 "RAL: an Algebra for Querying RDF", Flavius Frasincar, Geert-Jan Houben, Richard Vdovjak, Peter Barna (PDF, PS, PPT)
- 2004-08-12#p02 "Purely Functional Data Structures", Chris Okasaki
- 2004-08-21#p01 "Non-stop Haskell", Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While; ICFP 2000.
- 2004-08-22#p02 "Lazy functional state threads", John Launchbury, Simon L. Peyton Jones
- 2004-08-23#p01 論文読み会
- 2004-08-24#p02 "A New Method for Functional Arrays", Melissa O'Neill, F. Warren Burton
- 2004-08-25#p02 "Generational garbage collection for Haskell", Patrick M. Sansom, Simon L. Peyton Jones
- 2004-08-26#p01 Jan-Åke Hedström, "RubySharp - a Ruby to CIL Compiler", [PDF]
- 2004-08-26#p02 Anders Alexandersson, "RubyComp - a Ruby-to-LLVM Compiler Prototype", [PDF]
- 2004-08-29#p05 "Compiling Haskell to Java", Mark Tullsen
- 2004-09-02#p03 "Graph Rewriting Semantics for Functional Programming Language", Marko van Eekelen, Sjaak Smetsers, Rinus Plasmeijer
- 2004-09-03#p02 "Type Classes with Functional Dependencies", Mark P. Jones
- 2004-11-16#p01 Making a fast curry: push/enter vs. eval/apply for higher-order languages, Simon Marlow and Simon Peyton Jones
- 2004-11-17#p01 Lazy Depth-First Search and Linear Graph Algorithms in Haskell, David J. King and John Launchbury
- 2004-12-09#p04 Tarmo Uustalu, Varmo Vene and Alberto Pardo, Comonadic Iteration
- 2004-12-14#p03 Constructed Product Result Analysis for Haskell, Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones