Lambda the Ultimate

type	title	author	last post
Story	Types are Calling Conventions See Noam Zeilberger's PhD thesis... by neelk	James Iry	2009-05-20 01:01
Story	Joshua Bloch: "Nearly All Binary Searches Broken" When I have to write a by neelk Couldn't the problem have by neelk	Ehud Lamm	2009-05-15 15:20
Forum topic	Static typing may require runtime type checking? By no means... by neelk	sidhu	2009-05-06 15:18
Story	Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time He discusses this question by neelk	neelk	2009-05-04 19:29
Forum topic	Algebra Of Programming (Bird, De Moor) The class of optimization pro by neelk It is pretty abstract, but it by neelk	shahbaz	2009-04-27 20:22
Forum topic	Languages ready for API Evolution You might want to look at an by neelk	Jaroslav Tulach	2009-04-22 05:55
Story	PLOT: Programming Language for Old Timers This is a problem with Dylan... by neelk	Luke Gorrie	2009-04-09 15:40
Story	D is for Domain and Declarative Thanks by neelk Declarative programming by neelk	Chung-chieh Shan	2009-03-25 16:51
Forum topic	Tiered approaches to higher order programming? Then I can strongly by neelk If I wanted to do this... by neelk	John Nowak	2009-03-22 19:38
Forum topic	Relational database implementation paper ? Some references by neelk	Archiloque	2009-03-20 17:30
Story	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking	neelk	2009-03-06 16:33
Story	Parameterized Notions of Computation Hey, that's pretty cool! by neelk What I'm getting at is that by neelk	neelk	2009-02-17 19:38
Forum topic	Microsoft PDC "Language" Talks How contracts are "more applicable" by neelk	shahbaz	2009-02-12 12:16
Forum topic	What is the dual of { } ? Regular languages... by neelk	Kay Schluehr	2009-02-12 08:58
Forum topic	Graduate Programs in Programming Language Design/Research/Implementation? If you're still near Purdue... by neelk	shubhamharnal	2009-01-30 18:05
Forum topic	Explaining monads This is exactly what I do by neelk Ha! by neelk	Ehud Lamm	2009-01-30 11:43
Forum topic	Non-standard type theories for FP If you look at his 1974 paper... by neelk	marco	2009-01-25 03:59
Forum topic	Monads = lazy, effect types = strict? Types, lots of types...! by neelk It's what I do in Ocaml, too... by neelk	dpmulligan	2009-01-13 02:20
Forum topic	Typed lambda calculii with type-indexed families of functions instead of polymoprhic functions? See Harper & Morisett 1995 by neelk	andhow	2009-01-13 01:10
Story	Calculemus 2005 I would be fascinated by anyt by neelk	Mark Evans	2009-01-07 18:19
Story	Local Rely-Guarantee Reasoning	neelk	2008-11-25 23:44
Forum topic	Object Oriented Programming + Referential Transparency They're going to scale by neelk Hi Kevin, I think you're by neelk Hmm... by neelk There's a reason I used ML by neelk Purely functional data structures... by neelk	mjstahl	2008-10-30 17:40
Forum topic	Summary of Dependently Typed Systems? It seems to me... by neelk	jim burton	2008-10-27 12:42
Forum topic	Elementary Category Theory Equalizers exactly express the property you want.... by neelk Look up "equalizers" by neelk	Ohad Kammar	2008-10-23 11:52
Forum topic	Common Lisp Exception Handling cool! by neelk Touche! by neelk Not without radical changes: by neelk	SamK	2008-10-20 00:55
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