CiteULike: A free online service to organize your academic papers
Citeulike is a self-governing website that offers comparisons of various online casinos. It includes affiliate links, which could result in us receiving a commission if you decide to accept any of the offers we list. Our expert team focuses on identifying top-notch bonuses and safe casino options for your gaming experience. We meticulously evaluate each bonus prior to incorporating it into our sit
Programming and Computation
Types Metaprogramming Lambda-calculus Monads in Haskell and other languages Continuations and delimited control Streams Generic zipper and the zipper-based filesystem Many faces of fixed-point combinators Having an Effect There was still something left to discover in how to add and multiply Doubts about the concept of information and an elementary derivation of the Shannon entropy formula The curi
Unchecked Exceptions can be Strictly More Powerful than Call/CC | Lambda the Ultimate
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
Visual Programming Languages research papers
Designing Iconic Programming Systems: Representation and Learnability papers that contain a taxonomy of Visual Programming Languages or survey a number of VPLs
List of important publications in computer science - Wikipedia
1.2A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
Total Function Programmingを読む - ラシウラ
http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf 著者のDave TurnerはHaskellの前身のMirandaを設計した人。ちなみに、 Church's Thesis and Functional Programming http://www.cs.kent.ac.uk/people/staff/dat/miranda/ctfp.pdf の中でもTotal Function Programmingについて少し触れている。 プログラムの例外や無限ループをどう排除するか、ということに挑戦している。 基本的に普通の言語の関数は、partial function(全射でない関数)として記述する。もちろんプログラムの関数は全射でもかけるけれど、全射でない関数もかけ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Implementing fast interpreters | Lambda the Ultimate
Project: Self-Animating Images.htm
http://imps.mcmaster.ca/doc/seven-virtues.pdf
SHORT INTRODUCTION TO ENRICHED CATEGORIES - EnrichedCatsKLUWER.pdf (application/pdf オブジェクト)
CiteSeerX
CiteSeerX
https://homepages.inf.ed.ac.uk/wadler/papers/dual-reloaded/dual-reloaded.pdf
Bidirectional conversion between XML documents and relational databases
日本ソフトウェア科学会第 23 回大会（2006 年度）論文集 1 A Web Service Architecture for Bidirectional Updating Yasushi Hayashi Dongxi Liu Kento Emoto Kazutaka Matsuda Zhenjiang Hu Masato Takeichi Department of Mathematical Informatic
日本ソフトウェア科学会第 22 回大会（2005 年度）論文集 1 Bidirectional Scripting for Structured Documents Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi Department of Mathematical Informatics University of Tokyo In a programmable struc
Recycling Continuations | Lambda the Ultimate