Lambda the Ultimate

type	title	author	last post
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	A Java-like formalism for control flow analysis.	Kannan Goundan	2008-09-17 21:48
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	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	(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
Story	Lisp is sin Me too post. by Kannan Goundan	Ehud Lamm	2007-05-19 19:51
Forum topic	Type-Safe Casts Need the table to hold multiple types. by Kannan Goundan	cdiggins	2007-05-08 07:01
Forum topic	Why can't you push instructions in MSIL/JVML Maybe you should compile directly to machine code? by Kannan Goundan These aren't the stacks you're looking for. Move along. by Kannan Goundan	cdiggins	2007-04-11 04:22
Forum topic	Stronger relationships between structures	Kannan Goundan	2007-02-06 09:47
Forum topic	The Problem with "dup" and "swap" in Stack-Based Languages Tuple type inlining by Kannan Goundan What do you mean by "untyped"? by Kannan Goundan	cdiggins	2007-01-16 13:55
Story	Java Open Review Project Sing# Paper by Kannan Goundan	Ehud Lamm	2006-12-16 11:29
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