msakai's library [706 articles]

Recent papers added to msakai's library.

	Σモノイド—メタ変数と明示的環境を持つ高階構文 (Σ-Monoids: A Higher-Order Syntax with Metavariables and Environments.) [My Copy] コンピュータソフトウェア, Vol. 22, No. 3. (2005), pp. 201-207. by Makoto Hamana posted to category-theory by msakai on 2009-06-23 15:48:23 as
	Parsing expression grammars: a recognition-based syntactic foundation [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122. by Bryan Ford posted to parser linguistics by msakai on 2009-06-22 16:42:26 as along with 3 people and 1 group spl dherman jrw NU-PRL
	Linear Logic and Naive Set Theory [My Copy] (9 June 2003) by K. Terui posted to linear-logic by msakai on 2009-06-19 16:18:22 as along with 1 person hubris
	スコーレムの有限主義 [My Copy] 哲学論叢, Vol. 29 (1 September 2002), pp. 81-104. by 康夫出口 posted to logic by msakai on 2009-06-14 08:04:23 as
	Data types à la carte [My Copy] Journal of Functional Programming, Vol. 18, No. 04. (2008), pp. 423-436. by Wouter Swierstra posted to type-classes haskell expression-problem by msakai on 2009-06-14 07:40:09 as
	The Hoare State Monad [My Copy] by Wouter Swierstra posted to verification monad coq by msakai on 2009-06-03 23:45:20 as along with 1 person shimomura
	Proving open properties by induction [My Copy] Inf. Process. Lett., Vol. 29, No. 1. (1988), pp. 19-23. by J. C. Raoult posted to no-tag by msakai on 2009-05-31 02:28:17 as along with 1 person hubris
	Subtyping recursive types [My Copy] ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted to type-theory by msakai on 2009-05-30 06:42:18 as along with 1 person keigoi
	Harnessing the Multicores: Nested Data Parallelism in Haskell [My Copy] In Foundations of Software Technology and Theoretical Computer Science (2008) by Simon Peyton-Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty posted to parallel-programming haskell by msakai on 2009-05-30 03:54:04 as along with 3 people Benja assad79 shimomura
	Eventually consistent [My Copy] Commun. ACM, Vol. 52, No. 1. (2009), pp. 40-44. by Werner Vogels posted to no-tag by msakai on 2009-05-28 02:49:59 as along with 1 person jorritschippers
	Formally deriving an STG machine [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112. by Alberto, Ricardo posted to virtual-machine stg by msakai on 2009-04-20 01:42:47 as along with 2 people keigoi kalmar
	アスペクトの相互作用を解消するアスペクトの提案 [My Copy] by 文信武山, 千葉 posted to ppl2009 aop by msakai on 2009-04-05 08:27:39 as
	異なる型の値を返すアドバイスを許すアスペクト指向言語の織込機構 [My Copy] by 当山, 英彦増原 posted to ppl2009 aop by msakai on 2009-04-05 08:25:01 as
	MinCaml コンパイラにおける shift/reset の実装 [My Copy] by 増子, 健一浅井 posted to ppl2009 continuation by msakai on 2009-04-05 08:22:47 as
	限定継続を含む仮想機械導出のためのプログラム変換 [My Copy] by 有沙木谷, 健一浅井 posted to ppl2009 by msakai on 2009-04-05 08:20:12 as
	Environmental Simulation of Real-Time Systems with Nested Interrupts by Maude [My Copy] by Guoqiang Li, Shoji Yuen, Masakazu Adachi posted to ppl2009 by msakai on 2009-04-05 08:18:05 as
	CForge: C言語プログラムのための有界検査ツール [My Copy] by Masahiro Sakai, Takeo Imai posted to ppl2009 alloy by msakai on 2009-04-05 08:12:44 as
	変数の生存区間解析のためのSATソルバを用いた型推論アルゴリズム [My Copy] by 雅洋山本, 大堀 posted to ppl2009 by msakai on 2009-04-05 08:10:03 as
	種々の最適化の効果のモデル化と、それに基づく最適化列の効果の予測 [My Copy] by 孝典今橋, 政孝佐々 posted to ppl2009 by msakai on 2009-04-05 08:07:58 as
	SIMD最適化向けソースコードレベルでのコード変形 [My Copy] by 茂幸蒲野, 政孝佐々 posted to ppl2009 by msakai on 2009-04-05 08:03:47 as
	動的計画法アルゴリズムを自己導出する結合子ライブラリ [My Copy] by 明昌森畑, 振江, 正人武市 posted to ppl2009 haskell by msakai on 2009-04-05 07:59:28 as
	A full implementation of Session Types in Haskell [My Copy] by Keigo Imai, Shoji Yuen, Kiyoshi Agusa posted to ppl2009 haskell by msakai on 2009-04-05 07:54:51 as
	古典様相論理に対応する計算体系 [My Copy] by 大輔木村, 良彦角谷 posted to ppl2009 by msakai on 2009-04-05 07:50:17 as
	Towards a Certified Implementation of a Cryptographically Secure Pseudorandom Bit Generator [My Copy] by David Nowak, Kiyoshi Yamada posted to ppl2009 by msakai on 2009-04-05 07:47:32 as
	統合開発環境によるLMNtalモデル検査 [My Copy] by 貴之綾野, 堀泰, 宏希岩澤, 誠司小川, 和紀上田 posted to ppl2009 by msakai on 2009-04-05 07:45:25 as
	Relating models of impredicative type theories [My Copy] Category Theory and Computer Science (1991), pp. 197-218. by Bart Jacobs, Eugenio Moggi, Thomas Streicher posted to type-theory category-theory by msakai on 2009-04-03 05:08:53 as
	型理論的レキシコンに基づいたオントロジー抽出に向けて―例化談話の場合 [My Copy] by 典裕緒方 posted to type-theory linguistics by msakai on 2009-03-29 04:49:48 as
	An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory [My Copy] Computer Science Logic (1997), pp. 129-149. by Marcelo Fiore, Gordon Plotkin posted to domain-theory by msakai on 2009-03-29 04:40:47 as
	Notes on the Chu construction and Recursion [My Copy] (9 January 2005) by Gordon Plotkin posted to chu-space by msakai on 2009-03-29 04:30:00 as
	The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code [My Copy] Functional and Logic Programming (1999), pp. 300-318. by Atsushi Ohori posted to type-theory machine-code by msakai on 2009-03-29 04:25:49 as
	The fixed point property in synthetic domain theory [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (1991), pp. 152-160. by P. Taylor posted to domain-theory by msakai on 2009-03-29 04:22:37 as
	Conventional and uniqueness typing in graph rewrite systems [My Copy] Foundations of Software Technology and Theoretical Computer Science (1993), pp. 41-51. by Erik Barendsen, Sjaak Smetsers posted to no-tag by msakai on 2009-03-28 14:11:47 as
	Least and greatest fixed points in intuitionistic natural deduction [My Copy] Theoretical Computer Science, Vol. 272, No. 1-2. (6 February 2002), pp. 315-339. by T. Uustalu posted to no-tag by msakai on 2009-03-28 14:10:18 as
	Least and Greatest Fixed Points in Linear Logic [My Copy] Logic for Programming, Artificial Intelligence, and Reasoning (2007), pp. 92-106. by David Baelde, Dale Miller posted to linear-logic by msakai on 2009-03-28 14:06:00 as
	On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces [My Copy] Mathematical Structures in Computer Science, Vol. 8, No. 05. (1998), pp. 481-540. by T. U. R. I. Daniele, J. A. N. Rutten posted to coalgebra by msakai on 2009-03-28 14:04:14 as
	Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework [My Copy] From Object-Orientation to Formal Methods (2004), pp. 334-375. by Mark-Oliver Stehr, José Meseguer posted to type-theory by msakai on 2009-03-28 14:01:23 as
	Functional programming with bananas, lenses, envelopes and barbed wire [My Copy] Functional Programming Languages and Computer Architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to program-transformation by msakai on 2009-03-28 13:59:53 as
	Calculating Functional Programs [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 151-203. by Jeremy Gibbons posted to program-transformation by msakai on 2009-03-28 13:55:51 as
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to dependent-types by msakai on 2009-03-28 13:53:22 as along with 9 people and 1 group rgrig yallop tautologico japple voigt kavabean geishagirls rysavy jimburton SRG_at_UCD
	Wellfounded Trees and Dependent Polynomial Functors [My Copy] Types for Proofs and Programs (2004), pp. 210-225. by Nicola Gambino, Martin Hyland posted to type-theory dependent-types category-thoery by msakai on 2009-03-28 13:51:23 as
	Subcontinuations [My Copy] LISP and Symbolic Computation, Vol. 7, No. 1. (1 January 1994), pp. 83-109. by Robert Hieb, Kent R. Dybvig, Claude W. Anderson posted to continuation by msakai on 2009-03-28 13:47:29 as
	On the semantics of nested datatypes [My Copy] Information Processing Letters, Vol. 80, No. 5. (15 December 2001), pp. 233-238. by C. Martin posted to types category-theory by msakai on 2009-03-28 13:45:56 as
	Sketching stencils [My Copy] In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 167-178. by Armando S. Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia posted to no-tag by msakai on 2009-03-24 22:54:53 as
	補間定理 [My Copy] 一橋論叢, Vol. 100, No. 3. (1988-09-01), pp. 353-366. by 永島, タカシナガシマ, Takashi Nagashima posted to theorem-proving by msakai on 2009-03-17 05:15:10 as along with 1 person hubris
	モンゴメリ乗算について [My Copy] by Hiroshi Yoshikawa posted to no-tag by msakai on 2009-03-14 14:17:32 as
	A Logical Foundation for Environment Classifier [My Copy] by Takashi Tsukada, Atsushi Igarashi posted to ppl2009 by msakai on 2009-03-11 13:37:04 as
	zorn's lemma - a proof (by someone at mukai lab. in Japanese) [My Copy] posted to set-theory by msakai on 2009-03-11 11:42:08 as along with 1 person hubris
	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 171, No. 4. (July 2007), pp. 73-93. by Nobuko Yoshida, Vasco T. Vasconcelos posted to ppl2009 by msakai on 2009-03-11 00:30:47 as along with 3 people ama08r keigoi shimomura
	Language primitives and type discipline for structured communication-based programming [My Copy] Programming Languages and Systems (1998), pp. 122-138. by Kohei Honda, Vasco Vasconcelos, Makoto Kubo posted to ppl2009 by msakai on 2009-03-11 00:30:06 as along with 1 person jfischer
	Global Progress in Dynamically Interleaved Multiparty Sessions [My Copy] CONCUR 2008 - Concurrency Theory (2008), pp. 418-433. by Lorenzo Bettini, Mario Coppo, Loris D’antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida posted to ppl2009 by msakai on 2009-03-10 00:39:30 as along with 1 person ama08r

Note: You may cite this page as: http://www.citeulike.org/user/msakai

Result page: 1 2 3 4 5 6 7 8 9 10 Next

RIS BibTeX RTF/PDF

msakai's library [706 articles]

Tag selected articles

msakai's tags