Lambda the Ultimate

type	title	author	last post
Story	The right default: concurrent components with message passing STM beats monads? by shapr	Peter Van Roy	2006-07-22 16:37
Story	Zipper-based file server/OS Huet's Zipper by shapr	shapr	2006-07-13 10:13
Forum topic	What are the real benefits of FP? MVC in Haskell. by shapr Yampa does address the problem, and state traversal as well. by shapr Yampa Arcade by shapr	dataangel	2006-07-09 20:03
Story	Pugs, Practicing the Theories.	shapr	2006-06-01 18:33
Story	Proofs are Programs: 19th Century Logic and 21st Century Computing Datics - The Physics of Data by shapr Fixed! by shapr Couldn't find it, thus I posted. by shapr	shapr	2006-05-30 17:35
Story	Transactional Memory with data invariants (draft sequel to the STM-Haskell paper)	shapr	2006-05-17 12:42
Forum topic	Forum usability Nokia770 theme? by shapr Yes, nntp would help for thread order. by shapr Yes, bar on one side only? by shapr Yeah, it's hard to navigate. by shapr	andnaess	2006-05-05 21:16
Forum topic	Programming: 50, 100 years from now Audrey's presentation is for in person presentations. by shapr EuroHaskell 2004 and #haskell by shapr	shahbaz	2006-04-03 17:51
Story	Towards Applicative Relational Programming What about list comprehensions? by shapr	Charles Stewart	2006-03-30 15:46
Story	Ian Bicking: The challenge of metaprogramming Restrictions? by shapr As a former Python lover... by shapr	Ehud Lamm	2006-03-06 17:42
Story	Felleisen: How to Design Class Hierarchies Define traversal once with Functor by shapr And yet, that's no longer the Machine. by shapr Only the new value is created, all else is shared. by shapr	Ehud Lamm	2006-02-21 15:44
Forum topic	The fate of reduce() in Python 3000 Yeah, I want unit tests. by shapr It's gorgeous, can you add an explicit license? by shapr	Andrei Formiga	2006-02-12 19:27
Story	Djinn, a theorem prover in Haskell, for Haskell. Proof programming? by shapr	shapr	2006-01-24 18:58
Story	The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene Recent developments by shapr Yeah! by shapr	shapr	2006-01-12 16:51
Forum topic	Bruce Tate: Technologies that may challenge Java I agree, back to why things are the way they are? by shapr swing, by Cale Gibbard by shapr What's modern? by shapr	shahbaz	2006-01-12 06:01
Forum topic	Types and reflection Polyvariadic functions in Haskell by shapr XmlRpc and Haskell by shapr	andnaess	2005-12-14 08:23
Story	Envisioning a New Language: A Conversation With Victoria Livschitz Problem solved via Language Support. True or False? by shapr	Ehud Lamm	2005-12-11 23:52
Forum topic	New languages for OS level programming? See "A Principled Approach to Operating System Construction" by shapr	dataangel	2005-12-01 17:30
Forum topic	Dependent types: literature, implementations and limitations ? Page 462 of Types and Programming Languages by shapr	David Teller	2005-11-24 11:55
Story	Monads in Ruby Doh, I forgot Scheme! by shapr Monads hit the Big Time, Monads in Joy. by shapr	Matt Hellige	2005-11-24 11:12
Story	What good is Strong Normalization in Programming Languages? See "A Principled Approach to Operating System Construction" by shapr Just doing my editorial job :-) by shapr	shapr	2005-11-18 18:06
Forum topic	Can one avoid monads? Funny you should mention that... by shapr	raould	2005-11-10 20:18
Forum topic	Invariants/Contracts vs. types User functions' properties and type theory by shapr QuickCheck... by shapr	dbfaken	2005-11-08 22:31
Forum topic	The Type-System-Feature-Creep Death Spiral I think it's all the same. Staging happens. by shapr This is the goal, but whither termination? by shapr	jesuswaffle	2005-11-02 17:15
Story	Does Visual Studio Rot the Mind? C header files, Lazy if, Python list comps, another anecdote by shapr Types, Abstractions by shapr I don't believe it. by shapr	Ehud Lamm	2005-11-02 15:37
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation