ヒビルテ [論文 (2006年)]
Topology via Logic |
- 2006-01-09#p01 Packrat Parsing: Simple, Powerful, Lazy, Linear Time. Bryan Ford
- 2006-01-10#p01 Proof Methods for Corecursive Programs. Jeremy Gibbons, Graham Huttton.
- 2006-01-12#p01 Guarded Induction on Final Coalgebras. Duško Pavlović
- 2006-01-26#p01 Infinite Objects in Type Theory. Thierry Coquand.
- 2006-01-27#p03 Haskell is not not ML. Ben Rudiak-Gould, Alan Mycroft, and Simon Peyton Jones.
- 2006-02-05#p01 Pattern matching with dependent types.
- 2006-03-23#p01 Typed Logical Variables in Haskell. Koen Claessen, Peter Ljunglöf
- 2006-03-24#p01 The dual of substitution is redecoration. Tarmo Uustalu, Varmo Vene
- 2006-03-31#p02 Transactional Memory with data invariants. Tim Harris, Simon Peyton Jones
- 2006-04-24#p01 Haskell on a Shared-Memory Multiprocessor. Tim Harris, Simon Marlow, Simon Peyton Jones
- 2006-05-03#p02 “ECC, an Extended Calculus of Constructions” by Zhaohui Luo
- 2006-05-11#p01 Game Semantics. Samson Abramsky and Guy McCusker.
- 2006-05-14#p01 A groupoid model refutes uniqueness of identity proofs. Martin Hofmann and Thomas Streicher.
- 2006-05-16#p01 Towards Observational Type Theory. Thorsten Altenkirch and Conor McBride
- 2006-05-17#p02 モデル検査法のソフトウェア検証への応用. 中島震
- 2006-05-21#p03 Representing Nested Inductive Types using W-types
- 2006-06-10#p03 Fast and loose reasoning is morally correct. Nils Anders Danielsson, Jeremy Gibbons, John Hughes and Patrik Jansson.
- 2006-06-24#p01 Functional pearl: i am not a number -- i am a free variable. Conor McBride, James McKinna
- 2006-07-17#p02 Learning Minesweeper with Multirelational Learning. Lourdes Peña Castillo, Stefan Wrobel
- 2006-09-08#p01 MapReduce: Simplified Data Processing on Large Clusters. Jeffrey Dean and Sanjay Ghemawat
- 2006-09-10#p01 Comonadic Functional Attribute Evaluation. Tarmo Uustalu and Varmo Vene.
- 2006-09-26#p02 Build, Augment and Destroy, Universally. Neil Ghani, Tarmo Uustalu, and Varmo Vene
- 2006-10-05#p02 Folds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach by Neil Ghani and Patricia Johann
- 2006-10-06#p01 Representing Cyclic Structures as Nested Datatypes by Makoto Hamana (浜名 誠), Neil Ghani, Tarmo Uustalu and Varmo Vene
- 2006-10-08#p01 Arrows, like Monads, are Monoids by Chris Heunen and Bart Jacobs
- 2006-10-11#p01 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) by P. N. Benton
- 2006-10-13#p03 Parametricty and Mulry's Strong Dinaturality by A. Eppendahl
- 2006-10-27#p01 Categorical Semantics of Linear Logic For All by Valeria de Paiva
- 2006-11-08#p02 Programs, grammars and arguments: a personal view of some connections between computation, language and logic by J. Lambek
- 2006-11-09#p02 The Theory of Parametricity in Lambda Cube by 竹内 泉
- 2006-11-10#p01 A note on inconsistencies caused by fixpoints in a cartesian closed category by H. Huwig and A. Poigné
- 2006-11-27#p03 Reading Notes: Why is Cpo Cocomplete? by Jean Goubault-Larrecq
- 2006-11-28#p01 Agate—an Agda-to-Haskell compiler by Hiroyuki Ozaki, Makoto Takeyama and Yoshiki Kinoshita
- 2006-12-07#p01 Applicative Programming with Effects by Conor McBride and Ross Paterson
- 2006-12-11#p01 Shortcut fusion is correct by Patricia Johann
- 2006-12-14#p01 Domain Theoretic Models Of Polymorphism by Thierry Coquand and Carl A. Gunter
- 2006-12-16#p01 Deriving Structural Hylomorphisms From Recursive Definitions by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi