Lambda the Ultimate

type	title	author	last post
Forum topic	Q: Modularizing SQL? Relational algebra by Kannan Goundan	sciomako	2008-11-15 13:40
Forum topic	In which sense Joy is functional? "The ability to move things around" by Kannan Goundan	Pablo Barenbaum	2008-10-20 08:00
Forum topic	DSL or dialects used inside compilers GHC's term rewriting rules by Kannan Goundan	Basile STARYNKEVITCH	2008-10-10 09:33
Forum topic	The Next Mainstream Programming Languages FxCop can't be fully complete and sound. by Kannan Goundan How does Ada do it? by Kannan Goundan	Per Vognsen	2008-09-23 10:16
Forum topic	A Java-like formalism for control flow analysis.	Kannan Goundan	2008-09-17 21:48
Story	Google V8 JavaScript Engine More important: it is, by Kannan Goundan Other new Javascript VMs by Kannan Goundan	Ehud Lamm	2008-09-14 08:30
Forum topic	Review of a potential pramming language: Lima Show what's different by Kannan Goundan	frencheneesz	2008-09-10 07:58
Forum topic	Exploiting parser ambiguity If you tilt your head, it's still a tree. by Kannan Goundan List associativity by Kannan Goundan	bdenckla	2008-09-07 16:12
Forum topic	Should nested types capture type parameters? Closures can't be "built" from the outside by Kannan Goundan my "type" is more of a "type" + "namespace" by Kannan Goundan That helps. by Kannan Goundan	Kannan Goundan	2008-09-06 04:04
Forum topic	Avoid -if- in the LOG function Wrong forum. by Kannan Goundan	jayateerth4cpp	2008-09-06 01:30
Forum topic	output language for new statically typed language? Maybe C--? by Kannan Goundan	AtariFan	2008-08-29 17:20
Forum topic	Usefullness of constants Scala unifies field access and getter/setter functions. by Kannan Goundan	K	2008-08-12 06:01
Forum topic	Is null needed? More details? by Kannan Goundan	BigZaphod	2008-08-09 00:52
Forum topic	What to do about comments? Representing all information, not just a slice by Kannan Goundan Preprocessing. Just say no. by Kannan Goundan	markt	2008-08-01 14:44
Forum topic	Why type systems are interesting Types are important properties of your program. by Kannan Goundan	Anton van Straaten	2008-07-07 14:16
Forum topic	Static Typing and Expressivity He understood more than I thought by Kannan Goundan I still don't understand monads by Kannan Goundan Haskell type classes are implicit parameters. by Kannan Goundan	nobodysbusiness	2008-05-02 15:58
Forum topic	Can local variables assignments be considered pure functional without monads? An example by Kannan Goundan What about the implicit parameters? by Kannan Goundan	cdiggins	2008-04-14 12:55
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? "override" is not useless by Kannan Goundan	John Carter	2008-03-09 17:31
Forum topic	(newbie question) Covariance and contravariance The type operator is the thing that creates array types. by Kannan Goundan	chihiro	2008-01-15 21:00
Story	Dependent Classes Direct getters/setters by Kannan Goundan	Matt Hellige	2007-11-25 05:26
Forum topic	PL research & grad schools? What I looked at by Kannan Goundan	dataangel	2007-11-20 22:47
Forum topic	Duck Typing advocated where? Boo's 'duck' is still dynamic, I think. by Kannan Goundan	paddy3118	2007-08-27 01:19
Forum topic	Thread-safe Singleton in C# Does this really work? by Kannan Goundan	kaveh.shahbazian	2007-08-25 10:51
Story	Singularity: Rethinking the Software Stack Paper on Sing# language features. by Kannan Goundan	Ehud Lamm	2007-07-06 15:09
Forum topic	Delegating Responsibility in Digital Systems: Horton's "Who Done It?" Which phrase? by Kannan Goundan	MarkM	2007-05-23 19:52
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