Unchecked Exceptions can be Strictly More Powerful than Call/CC Here's a little light reading for your day-after-Labor-Day (or whatever yesterday was where you live): Unchecked Exceptions can be Strictly More Powerful than Call/CC, Mark Lillibridge and Olivier Danvy, 1999, Higher-Order and Symbolic Computation. We demonstrate that in the context of statically-typed purely-functional lambda calculi
タグ
- すべて
- ( ；∀；) (3)
- .net (1)
- 2ch (20)
- 2k (1)
- 3d (9)
- 8tracks (1)
- AngularJS (3)
- Jenkins (2)
- Steins;Gate (1)
- XPCNativeWrapper (1)
- _playlist (46)
- _trash (1)
- a* (2)
- aa (2)
- aaron (1)
- achievement (2)
- ack (1)
- actionscript (4)
- adom (1)
- advertising (1)
- ai (1)
- air (3)
- ajaja (1)
- ajax (16)
- algebra (3)
- algorithm (17)
- alloy (1)
- amachang (3)
- amazon (10)
- android (4)
- angband (2)
- angelos (1)
- anime (34)
- ansi (1)
- antipop (1)
- apache (5)
- api (36)
- apollo (4)
- apple (1)
- appli (1)
- ar (7)
- arc (1)
- arrow (4)
- art (12)
- artoolkit (2)
- as3 (27)
- ascii (1)
- asimov (1)
- assassins_creed (4)
- asymptote (1)
- atok (1)
- atom (6)
- atrain (1)
- au (1)
- audioscrobbler (1)
- autoconf (1)
- autodiscovery (1)
- autohotkey (1)
- automake (1)
- automaton (1)
- b-reps (1)
- bag (1)
- bash (1)
- batch (1)
- bcc (2)
- beamer (1)
- befunge (1)
- belgariad (1)
- beyond (1)
- bho (4)
- bibliography (1)
- bind (1)
- bioshock (22)
- blender (1)
- blog (3)
- bloglines (1)
- blosxom (5)
- bom (1)
- book (74)
- bookmark (6)
- bookmarklet (10)
- bot (3)
- boyer-moore (1)
- brainfuck (1)
- brazil (2)
- brew (1)
- browser (9)
- building (1)
- c (12)
- c# (1)
- c++ (21)
- c10k (1)
- cafeobj (1)
- calendar (5)
- canon (1)
- canvas (8)
- capistrano (4)
- cat (3)
- category (18)
- chaos (1)
- chat (1)
- cheat (2)
- cheatsheet (1)
- chef (1)
- cho45 (5)
- chord (2)
- cinnamon (3)
- cipher (1)
- cite (1)
- clannad (15)
- client (1)
- clisp (3)
- clock (1)
- clojure (1)
- cloudflare (2)
- clr (2)
- cm (2)
- cmd.exe (1)
- cocolo (1)
- cod4 (1)
- code (3)
- colinux (5)
- color (12)
- comet (2)
- comic (18)
- common (1)
- communication (3)
- comonad (1)
- compiler (4)
- compsci (42)
- concept (1)
- configuration (2)
- coninuation (1)
- console (3)
- continuation (6)
- cookbook (2)
- cookie (5)
- coq (3)
- coro (1)
- cpan (6)
- crawl (1)
- css (30)
- ctags (1)
- cthulhu (1)
- culture (782)
- curl (2)
- cv (7)
- cvs (1)
- cygwin (3)
- d (13)
- daapd (2)
- dankogai (3)
- darcs (3)
- darkknight (1)
- data (1)
- db (1)
- dbd (1)
- dbic (1)
- deadrising (7)
- debian (6)
- debug (2)
- del.icio.us (12)
- design (30)
- development (44)
- diagram (2)
- dictionary (2)
- digg (3)
- directx (2)
- dlna (2)
- docker (9)
- docomo (2)
- docs (3)
- documentation (9)
- dom (13)
- drawing (3)
- dsi (2)
- e4x (3)
- ecmascript (4)
- editor (2)
- email (3)
- emulator (2)
- english (6)
- environment (3)
- episode (2)
- erlang (2)
- ero (2)
- event (6)
- extension (33)
- fantasy (10)
- feed (3)
- fez (2)
- firebug (4)
- firefox (101)
- flash (53)
- flex (9)
- flickr (3)
- font (19)
- foobar2000 (6)
- food (8)
- fotolife (2)
- fractal (3)
- frp (2)
- fuba (2)
- fun (23)
- functional (14)
- game (201)
- gauche (18)
- gdi+ (2)
- generator (3)
- ghc (2)
- gif (3)
- girl (5)
- gist (2)
- git (51)
- glitch (3)
- gmail (8)
- gnu (2)
- go (14)
- golang (14)
- golf (2)
- google (36)
- googlechrome (5)
- gow (2)
- graph (2)
- graphics (5)
- greasemonkey (46)
- guide (5)
- guitar (8)
- hack (2)
- hacks (5)
- halo (2)
- haskell (88)
- hatena (91)
- hatena2009 (5)
- health (4)
- hengband (6)
- hexic (7)
- hitode909 (2)
- horaguchi (2)
- hosting (2)
- howto (69)
- html (15)
- http (11)
- iappli (3)
- icon (4)
- idolm@ster (21)
- ie (21)
- image (11)
- ime (3)
- incursion (2)
- intern (2)
- internet (5)
- interpreter (2)
- iphone (12)
- ipod (9)
- irc (9)
- ita (2)
- itunes (4)
- japan (3)
- japanese (11)
- java (7)
- javascript (276)
- joy (2)
- jquery (3)
- json (3)
- kawasaki (2)
- kayac (2)
- keyboard (2)
- keyconfig (4)
- king-gainer (3)
- klt (2)
- knowledge (2)
- kubernetes (3)
- kyoto (3)
- lambda (4)
- language (21)
- ldr (22)
- lecture (19)
- library (18)
- license (4)
- life (127)
- lifehack (7)
- lighttpd (4)
- lilypond (2)
- limechat (3)
- lingr (2)
- linux (48)
- lisp (33)
- livedoor (6)
- logic (11)
- lostplanet (4)
- lotr (5)
- lua (7)
- machine_learning (5)
- macro (2)
- mad (4)
- mala (4)
- man (2)
- mandelbrot (2)
- manual (7)
- map (4)
- maps (3)
- markdown (2)
- math (58)
- mathml (4)
- mediacenter (2)
- messenger (5)
- metal (2)
- microformats (4)
- migemo (3)
- minesweeper (3)
- mingw (2)
- mixi (2)
- mml (2)
- mobile (3)
- mochikit (2)
- monad (12)
- motemen (2)
- movie (11)
- mozilla (45)
- mozrepl (3)
- msn (5)
- music (37)
- mysql (8)
- mzscheme (2)
- naoya (4)
- neta (56)
- nethack (4)
- netradio (2)
- netwatch (2)
- network (7)
- nicovideo (36)
- ninjinkun (3)
- nlp (4)
- oblivion (5)
- ocaml (3)
- occult (2)
- oidc (2)
- oop (3)
- opencv (3)
- opera (3)
- opml (2)
- p2p (5)
- paper (17)
- parser (3)
- parsing (9)
- pattern (6)
- pdf (3)
- perl (139)
- person (11)
- pfi (2)
- photo (9)
- php (3)
- physics (2)
- plagger (10)
- png (2)
- polymer (2)
- portal (11)
- postscript (2)
- presentation (9)
- prism (2)
- program (2)
- programming (78)
- protocol (2)
- prototype.js (6)
- proxy (3)
- ps3 (2)
- psp (5)
- putty (3)
- puzzle (2)
- python (7)
- quine (3)
- quiz (2)
- radio (3)
- rails (18)
- rdf (3)
- reactive (2)
- read_later (79)
- readline (2)
- reference (80)
- regexp (5)
- remedie (2)
- research (2)
- rest (6)
- rfc (4)
- roguelike (44)
- rpm (2)
- rss (16)
- rtm (4)
- ruby (44)
- rubygems (2)
- s3 (2)
- safari (2)
- scala (11)
- scheme (43)
- science (14)
- screen (8)
- script (3)
- sdk (2)
- search (13)
- secondlife (4)
- security (14)
- selenium (2)
- self (2)
- semantics (2)
- server (2)
- service (29)
- shell (5)
- shibuya.js (4)
- sicp (2)
- slide (2)
- sns (4)
- soap (2)
- society (7)
- software (26)
- specification (3)
- spidermonkey (2)
- sql (5)
- squid (3)
- ssh (6)
- steinsgate (2)
- study (13)
- subversion (8)
- svg (3)
- svk (4)
- svm (3)
- tap (2)
- tea (2)
- technology (3)
- templatehaskell (2)
- test (3)
- tex (11)
- text (5)
- thunderbird (3)
- tips (62)
- tmux (2)
- tokyo (2)
- tokyotyrant (2)
- tombloo (2)
- tool (49)
- tov (6)
- tumblr (5)
- tutorial (27)
- tv (9)
- twitter (14)
- type (2)
- typester (3)
- ubiquity (2)
- ugomemo (35)
- ui (7)
- unicode (5)
- unix (8)
- unko (2)
- userchrome (6)
- ustream (2)
- vc (6)
- video (20)
- vim (100)
- vimperator (2)
- vista (5)
- visualization (14)
- vm (2)
- vmware (2)
- vpn (2)
- w3c (2)
- weather (2)
- web (69)
- web2.0 (3)
- webservice (27)
- wii (3)
- wiki (22)
- wikipedia (4)
- windows (57)
- windows7 (2)
- wish (12)
- wmp (2)
- words (3)
- writing (22)
- wsh (3)
- xbox (97)
- xml (27)
- xpath (8)
- xpcom (45)
- xs (3)
- xslt (4)
- xul (29)
- yahoo (4)
- yaml (2)
- yksk (2)
- youtube (18)
- yurisii (3)
- zsh (28)
- あとで読む (20)
- いい話 (2)
- ゲーム (2)
- サマーウォーズ (2)
- サンドキャニオン (4)
- ドリームクラブ (4)
- ラブプラス (2)
- 人生 (2)
- 参考になる (6)
- 宗教 (2)
- 年収 (2)
- 文章 (4)
- 検索 (2)
- 画像 (2)
- 社会 (4)
- 資料 (6)
- 非モテ (3)
- culture (782)
- javascript (276)
- game (201)
- perl (139)
- life (127)
- firefox (101)
- vim (100)
- xbox (97)
- hatena (91)
- haskell (88)
paperとlambdaに関するmotemenのブックマーク (1)
-
motemen 2008/09/03
- compsci
- lambda
- paper
リンク -
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx