Lambda the Ultimate

type	title	author	last post
Story	Omega - Language of the Future Non terminating type-level -> Unsoundness? by Manuel J. Simoni Re: Epigram by Manuel J. Simoni Why do type-level computations have to terminate? by Manuel J. Simoni Thanks by Manuel J. Simoni	Manuel J. Simoni	2010-10-01 13:17
Forum topic	Mildly Extended MixFix The men who stare at lines of code by Manuel J. Simoni Pet peeve by Manuel J. Simoni CLOS, then by Manuel J. Simoni Sorry, but that seems like a red herring by Manuel J. Simoni	shap	2010-09-23 02:15
Story	Fortifying Macros Great, we didn't have a macro debate-fest in a while! by Manuel J. Simoni	Manuel J. Simoni	2010-09-17 15:51
Forum topic	GADTs in a dynamically type-checked language? Fields... by Manuel J. Simoni Different goals by Manuel J. Simoni Confusing terminology by Manuel J. Simoni Exact runtime types by Manuel J. Simoni OK by Manuel J. Simoni Yes by Manuel J. Simoni untyped = dynamically type-checked (= unityped), no? by Manuel J. Simoni Flying blind... by Manuel J. Simoni	Manuel J. Simoni	2010-09-16 18:43
Forum topic	Choosing a VM for a concurrent language Dozens of pthreads by Manuel J. Simoni Why a VM? by Manuel J. Simoni Good examples? by Manuel J. Simoni One ring to bind them? by Manuel J. Simoni Alice ML's SEAM by Manuel J. Simoni	Shrutarshi Basu	2010-09-09 04:19
Forum topic	Dependency injection via parameterized types (?!) CLR generics by Manuel J. Simoni This isn't very flexible: by Manuel J. Simoni Ah by Manuel J. Simoni Static by Manuel J. Simoni Artefact of C# model? by Manuel J. Simoni Compile-time and link-time optimizations by Manuel J. Simoni Hm... by Manuel J. Simoni	Manuel J. Simoni	2010-09-08 08:40
Forum topic	Do I need a forall if type parameters are syntactically distinguishable from type constructors? Thanks by Manuel J. Simoni	Manuel J. Simoni	2010-09-07 15:13
Story	Type Classes as Objects and Implicits Generics by Manuel J. Simoni	Paul Snively	2010-08-26 06:09
Forum topic	new kid on the block: fun4j is a new fp project for the Java VM BEOL/ENDOL4J by Manuel J. Simoni	ThomasMahler	2010-08-25 21:15
Forum topic	Miguel de Icaza on Java lawsuit Another comment by Manuel J. Simoni	Ehud Lamm	2010-08-20 21:07
Forum topic	Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only Broken link by Manuel J. Simoni A while ago I asked about a by Manuel J. Simoni	scottmcl	2010-08-19 12:33
Forum topic	The ideal style/system for namespaces. identifier-syntax by Manuel J. Simoni	simcop2387	2010-08-16 17:25
Story	The Future of C# Hm... by Manuel J. Simoni	Manuel J. Simoni	2010-07-29 21:28
Forum topic	The Rust Language 2 cents by Manuel J. Simoni	Noel	2010-07-27 23:17
Story	Scribble: Closing the Book on Ad Hoc Documentation Tools	Manuel J. Simoni	2010-07-23 23:54
Forum topic	How important is language support for namespace management? Where's the problem? by Manuel J. Simoni Modify the code by Manuel J. Simoni Ha! by Manuel J. Simoni Funny by Manuel J. Simoni Naming conflicts are verboten by Manuel J. Simoni Namespace mgmt and build mgmt are orthogonal by Manuel J. Simoni	Manuel J. Simoni	2010-07-12 18:33
Forum topic	What's the type of an optional parameter?	Manuel J. Simoni	2010-07-04 17:23
Forum topic	plt vs. something else for programming in the large? I meant, compared to being by Manuel J. Simoni UNIX, REST: Avoiding PITL by Manuel J. Simoni	raould	2010-06-17 01:07
Story	Adding Type Constructor Parameterization to Java	Manuel J. Simoni	2010-06-08 21:53
Story	Formal Compiler Implementation in a Logical Framework	Manuel J. Simoni	2010-06-08 11:56
Forum topic	Safer C Code Using ATS	Manuel J. Simoni	2010-06-05 06:13
Story	On Iteration	Manuel J. Simoni	2010-05-17 10:39
Story	Iterators Must Go	Manuel J. Simoni	2010-05-13 02:59
Forum topic	Understanding hygiene	Manuel J. Simoni	2010-04-30 14:07
Forum topic	Module systems for Lisp like language Some pointers by Manuel J. Simoni	Jean-Marc Bourguet	2010-04-24 14:02
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