新規登録
|
ログイン
|
FAQ
[?]
CiteULike
News
CiteGeist
Discussion
ジャーナル
最新号一覧
グループ
一覧
Library
Groups
Watchlist
Profile
Blog
View
|
Publications
|
Connections
|
Neighbours
keigoi profile
About me
Username:
keigoi
Name:
Not specified
Job title:
Not specified
Affiliation:
Not specified
Web page:
Not specified
Joined:
2006-07-25
What I do
Not specified
Interests
Not specified
Recent Activity
2009-01-07
01:26: posted
Much Ado about Two: A Pearl on Parallel Prefix Computation
2009-01-04
02:23: posted
Many Holes in Hindley-Milner
2008-12-25
14:21: posted
An Empirical Analysis of C Preprocessor Use
13:06: posted
The <i>nesC</i> language: A holistic approach to networked embedded systems
12:55: posted
Flask: staged functional programming for sensor networks
00:50: posted
Parametric higher-order abstract syntax for mechanized semantics
00:38: posted
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
2008-12-24
05:35: posted
Substructural Type Systems for Program Analysis
2008-12-23
06:40: posted
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
06:37: posted
A type-preserving compiler in Haskell
06:29: posted
A type-preserving closure conversion in haskell
2008-12-12
04:26: posted
Acceptor and connector