サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
www.cs.purdue.edu
Using Coq to Write Fast and Correct Haskell John Wiegley BAE Systems USA john.wiegley@baesystems.com Benjamin Delaware Purdue University USA bendy@purdue.edu Abstract Correctness and performance are often at odds in the field of sys- tems engineering, either because correct programs are too costly to write or impractical to execute, or because well-performing code involves so many tricks of the tr
How To Criticize Computer Scientists or Avoiding Ineffective Deprecation And Making Insults More Pointed In recent exchanges, members of the faculty have tried in vain to attack other Computer Scientists and disparage their work. Quite frankly, I find the results embarrassing -- instead of cutting the opponent down, many of the remarks have been laughably innocuous. Something must be done about it
The book is out of print. You may download the online version for personal use as prescribed by copyright law. The text is from the second printing, from 1992. Many of the figures have been redrawn, but otherwise no changes were made. Due to differences in LaTeX, the page breaks are occasionally different, but the chapters begin at the same page numbers.
To The Candidate: So, you are preparing to write a Ph.D. dissertation in an experimental area of Computer Science. Unless you have written many formal documents before, you are in for a surprise: it's difficult! There are two possible paths to success: Planning Ahead. Few take this path. The few who do leave the University so quickly that they are hardly noticed. If you want to make a lasting impr
News Please see the OpenDetex GitHub page for the latest version of OpenDetex. It is a more modern, derivative version of my original DeTeX. My legacy DeTeX home page is available here. If you just want the legacy detex-2.8.tar source, you can get it here.
GNU RCS is available at https://www.gnu.org/software/rcs/ This page is mostly of historical interest, but contains some content that is not part of the GNU distribution and may not be available elsewhere. The source distribution is intended primarily for UNIX systems. Some people have been successful in porting it to other systems as well. The latest PC (OS/2 DOS Win95 NT) binary version is availa
このページを最初にブックマークしてみませんか?
『www.cs.purdue.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く