gmane.org.ballistichelmet.lambda

274 articles on record, showing the most recent 50.

[Fwd: PLT Scheme v299.200]
Tue, 09 Aug 2005 09:05:48 -0400
David Van Horn <[email protected]> • #275
Re: ASTREE
Thu, 26 May 2005 16:18:37 -0400 (EDT)
"Aaron S. Hawley" <[email protected]> • #274
[Fwd: [Pl-seminar] Semantics Seminar Schedule]
Thu, 26 May 2005 15:48:28 -0400
David Van Horn <[email protected]> • #273
VAGUE Organizational Meeting
Thu, 19 May 2005 14:20:19 -0400
David Van Horn <[email protected]> • #272
Fwd: GNU Ghostscript 8.16 is released
Wed, 18 May 2005 14:25:28 -0400 (EDT)
"Aaron S. Hawley" <[email protected]> • #271
Community Wi-Fi in Champaign-Urbana Illinois
Sat, 14 May 2005 14:10:30 -0400
David Van Horn <[email protected]> • #270
[Fwd: Re: [Cybertalks] Fwd: COSC Dept. Colloquium - Monday, May 16, 2005, 4 PM]
Wed, 11 May 2005 09:27:01 -0400
David Van Horn <[email protected]> • #269
[Fwd: [Cybertalks] Fwd: COSC Dept. Colloquium - Monday, May 16, 2005, 4 PM]
Wed, 11 May 2005 09:26:35 -0400
David Van Horn <[email protected]> • #268
Ann: The Fortress Language Specification
Fri, 29 Apr 2005 17:29:07 -0400
David Van Horn <[email protected]> • #267
R6RS Progress Report
Wed, 27 Apr 2005 10:28:50 -0400
David Van Horn <[email protected]> • #266
Re: RMS: BitKeeper bon-voyage is a happy ending
Mon, 25 Apr 2005 19:10:58 -0400 (EDT)
"Aaron S. Hawley" <[email protected]> • #265
GPL progs are Debian 'non-free'
Tue, 19 Apr 2005 15:32:24 -0400 (EDT)
"Aaron S. Hawley" <[email protected]> • #264
Free math needs free software
Fri, 15 Apr 2005 15:00:19 -0400 (EDT)
"Aaron S. Hawley" <[email protected]> • #263
April 13: Tales from the other side -- Craig Damon
Tue, 12 Apr 2005 13:09:43 -0400
David Van Horn <[email protected]> • #262
EFF Announces 2005 Pioneer Award Winners
Fri, 8 Apr 2005 22:51:36 -0400
David Van Horn <[email protected]> • #261
Free LaTeX manual
Thu, 7 Apr 2005 13:26:44 -0400 (EDT)
"Aaron S. Hawley" <[email protected]> • #260
Re: Implementing Syntactic Reflection in Nuprl
Tue, 05 Apr 2005 13:18:39 -0400
David Van Horn <[email protected]> • #259
Implementing Syntactic Reflection in Nuprl
Tue, 05 Apr 2005 12:55:39 -0400
David Van Horn <[email protected]> • #258
Re: upcoming change in PLT Scheme v300
Fri, 1 Apr 2005 15:54:54 -0500 (EST)
"Aaron S. Hawley" <[email protected]> • #257
[Fwd: upcoming change in PLT Scheme v300]
Fri, 01 Apr 2005 13:37:39 -0500
David Van Horn <[email protected]> • #256
April 11: Software Security and Control-Flow Integrity -- Ulfar Erlingsson
Mon, 28 Mar 2005 14:52:19 -0500
David Van Horn <[email protected]> • #255
[Fwd: [PLT announcement] PLT Scheme v299.100]
Fri, 25 Mar 2005 16:46:59 -0500
David Van Horn <[email protected]> • #254
The Software Freedom Law Center
Fri, 25 Mar 2005 13:43:18 -0500
David Van Horn <[email protected]> • #253
security v. usability
Wed, 23 Mar 2005 14:09:32 -0500 (EST)
"Aaron S. Hawley" <[email protected]> • #252
Felleisen on Knuth
Tue, 22 Mar 2005 12:23:10 -0500
David Van Horn <[email protected]> • #251
icfp: start early!(?)
Thu, 17 Mar 2005 10:49:44 -0500 (EST)
"Aaron S. Hawley" <[email protected]> • #250
The POPLmark Challenge
Thu, 17 Mar 2005 10:22:45 -0500
David Van Horn <[email protected]> • #249
[Fwd: CALL FOR PAPERS: ACM SIGPLAN 2005 Workshop on Scheme and Functional Programming]
Fri, 11 Mar 2005 09:42:58 -0500
David Van Horn <[email protected]> • #248
WiLiKi
Thu, 10 Mar 2005 13:42:19 -0500 (EST)
"Aaron S. Hawley" <[email protected]> • #247
Language Guide
Tue, 8 Mar 2005 13:48:48 -0500 (EST)
"Aaron S. Hawley" <[email protected]> • #246
Free as in bombs
Tue, 8 Mar 2005 11:47:27 -0500 (EST)
"Aaron S. Hawley" <[email protected]> • #245
Re: Polymorphism and effects
Fri, 04 Mar 2005 13:04:20 -0500
David Van Horn <[email protected]> • #244
Polymorphism and effects
Fri, 04 Mar 2005 13:01:54 -0500
David Van Horn <[email protected]> • #243
Cybercrime Discussion Panel
Thu, 03 Mar 2005 11:32:53 -0500
David Van Horn <[email protected]> • #242
[Fwd: [TYPES] Summer School on Reliable Computing: Call for Participation]
Thu, 03 Mar 2005 10:35:12 -0500
David Van Horn <[email protected]> • #241
Curry's Paradox
Thu, 3 Mar 2005 00:06:15 -0500
David Van Horn <[email protected]> • #240
Lectures on the Curry-Howard Isomorphism.
Wed, 2 Mar 2005 23:51:27 -0500
David Van Horn <[email protected]> • #239
OSI: expanded programs, counsel, and board. Raymond steps down
Wed, 02 Mar 2005 15:02:37 -0500
David Van Horn <[email protected]> • #238
Fwd: A Call to Action in OASIS
Tue, 22 Feb 2005 12:50:33 -0500
David Van Horn <[email protected]> • #237
the famous al* petrofsky's head
Wed, 02 Feb 2005 14:44:29 -0500
David Van Horn <[email protected]> • #236
[Fwd: [Church-announce] Aspects Day, Boston, March 8]
Sun, 23 Jan 2005 10:00:45 -0500
David Van Horn <[email protected]> • #235
[Fwd: [Pl-seminar] Semantics Seminar Schedule]
Tue, 18 Jan 2005 14:26:56 -0500
David Van Horn <[email protected]> • #234
Fwd: [emacs] SML-mode 4.0
Fri, 17 Dec 2004 00:46:43 -0500
"Aaron Hawley,6-5045 Waterman 111C" <[email protected]> • #233
[Fwd: Scheme 48 1.2 available]
Tue, 14 Dec 2004 10:37:58 -0500
David Van Horn <[email protected]> • #232
[Fwd: [TYPES] Ph.D. scholarships at the IT University of Copenhagen]
Tue, 14 Dec 2004 10:34:19 -0500
David Van Horn <[email protected]> • #231
[Coq-Club] YOUNG RESEARCHER POSITION and PROGRAMMER POSITION on MATHSAT AVAILABLE
Sun, 05 Dec 2004 18:55:28 -0500
David Van Horn <[email protected]> • #230
Type Erasure: Breaking the Java Type System
Thu, 02 Dec 2004 10:49:46 -0500
David Van Horn <[email protected]> • #229
[Fwd: [qcpls] QCPLS séminaire12 novembre, McGi ll]
Tue, 09 Nov 2004 10:37:18 -0500
David Van Horn <[email protected]> • #228
[Fwd: 11/8 @ 4pm: Exploring Grand Challenges in Trustworthy Computing]
Sat, 06 Nov 2004 10:47:21 -0500
David Van Horn <[email protected]> • #227
Retraction (fwd)
Fri, 5 Nov 2004 17:11:13 -0500 (EST)
David Van Horn <dvanhorn-UYko1UTVIqz2fBVCVOL8/[email protected]> • #226