Lambda the Ultimate

type	title	author	last post
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
Forum topic	HLVM - High Level Virtual Machine toolkit for dynamic languages Maybe because it doesn't exist? by Kannan Goundan	nat	2006-07-09 21:57
Forum topic	Lexical structure of scripting languages Debatable by Kannan Goundan	uchchwhash	2006-07-07 23:48
Forum topic	How are GADTs useful in practical programming? Eliminates some problems, but not all by Kannan Goundan	Klaus Ostermann	2006-06-21 13:31
Forum topic	Buried Treasure - No Fluff Just Stuff By "easy", I meant "doable" :) by Kannan Goundan At the beginning of this by Kannan Goundan Feels like it'll explode by Kannan Goundan	Isaac Gouy	2006-06-08 03:44
Forum topic	Language Design Tips Look at functional languages. by Kannan Goundan	Mordeith	2006-03-10 22:26
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing duck typing is structural typing by Kannan Goundan	cdiggins	2006-03-02 16:04
Forum topic	Extensible Term Language I am lazy by Kannan Goundan	const	2006-02-09 06:43
Forum topic	Promising OS's from a Programming Language Perspective Microkernels by Kannan Goundan Xok is microkernelish by Kannan Goundan	John Carter	2006-01-30 17:36
Forum topic	What is considered source code? Source Code + Whatever = Configuration by Kannan Goundan	Jonathan Allen	2006-01-17 09:26
Forum topic	Bruce Tate: Technologies that may challenge Java That fragment can be statically typed. by Kannan Goundan Dynamic languages by Kannan Goundan	shahbaz	2006-01-12 06:01
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