Lambda the Ultimate

type	title	author	last post
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
Forum topic	Optimal map API Even simpler problem by Kannan Goundan	Henning G	2006-12-13 00:05
Forum topic	Extremely static language? Structural typing by Kannan Goundan Typing is delicate by Kannan Goundan Merd! by Kannan Goundan	viergroupie	2006-12-09 01:28
Forum topic	Why type systems are interesting - part II Can't we have fully static proofs even with dynamic behavior? by Kannan Goundan	Ehud Lamm	2006-12-08 01:38
Forum topic	Code generation vs. dynamic/introspective languages Java 5 has varargs by Kannan Goundan	raould	2006-11-05 21:03
Story	Run time type checking A different erasure? by Kannan Goundan	Chris Rathman	2006-10-22 15:04
Forum topic	Closures for Java or money back Not all of them are good. by Kannan Goundan Java already has two units of abstraction by Kannan Goundan	el-vadimo	2006-09-23 19:16
Story	Variance and Generalized Constraints for C# Generics Ergonomics? by Kannan Goundan Java almost used +/- by Kannan Goundan	Ehud Lamm	2006-09-21 04:38
Forum topic	The Killer Application for Concatenative Languages The hard part is arbitrary memory reads and writes. by Kannan Goundan	John Carter	2006-08-07 19:33
Story	Revealing the X/O impedance mismatch The type systems don't match up. by Kannan Goundan	Ehud Lamm	2006-07-22 23:15
Forum topic	First Class Values, Types as values within a Programming Language Needs to be user-specifiable by Kannan Goundan	Bruce Rennie	2006-07-20 00:50
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