Lambda the Ultimate

type	title	author	last post
Forum topic	Constant Values as Types Now I think about it by Matthew Willson I see what you're saying by Matthew Willson Right by Tim Sweeney Dependent Types by cdiggins Thanks Tim, this makes a lot by cdiggins Overambitious Type Systems by cdiggins I think it would be undecideable by Matthew Willson Singleton types by Tim Sweeney singleton types by Tess Foley More thoughts - by Matthew Willson ...	cdiggins	2006-09-04 10:29
Story	Topology in Programming Language Semantics	Jacques Carette	2006-09-03 14:13
Forum topic	FringeDC- New Washington DC Organization for Fringe Programming Languages	drcode	2006-09-03 02:35
Forum topic	Implementing arrays O(1) may meet the academic by dataangel I think your implementation by dataangel How often do you see recursive inheritance? by sigfpe yes by nml Is this cheating? by Chris King But General Relativity says by Udo Stenzel thats sort of trivially by carter Re: Good catches by Sameer Sundresh Er, I guess I did a bad job by Greg Buchholz Pretend they do. by Matt OConnor ...	dataangel	2006-09-02 09:52
Forum topic	Multi-Stage Languages Multi-stage is a compromise by skaller Special Syntax by odanet Only that's not much good if by Philippa Cowderoy Multi-Stage Programming With Hygenic Macros by rhat I will have to take a look by cdiggins In these scenarios by cdiggins Purity Trashing by cdiggins possible by Curtis W Perhaps I am naive by cdiggins Incremental Typing as in Epigram? by shapr ...	cdiggins	2006-09-01 19:59
Story	Vacation	Ehud Lamm	2006-09-01 09:31
Story	Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference Concoqtion Paper Moved by Paul Snively This seems kin to Susmit by neelk	Paul Snively	2006-08-30 17:55
Story	Reflective Program Generation with Patterns	Ehud Lamm	2006-08-30 07:36
Forum topic	Advantages of Soft Typing Combining type-indexed values using functors by Vesa Karvonen The context is dynamic by Daniel Yokomizo Meaning? by Vesa Karvonen Questioning the Membrane abstraction by Vesa Karvonen Re: Word-arounds by Vesa Karvonen Word-arounds by Andreas Rossberg I see by Matt Hellige Example by Anton van Straaten Does not work by Andreas Rossberg Not quite true, is it? by Matt Hellige ...	Curtis W	2006-08-29 22:21
Forum topic	Joe Armstrong's Blog correct link: by shahbaz	grant	2006-08-29 17:15
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