Lambda the Ultimate

type	title	author	last post
Forum topic	Formal methods for O/R mapping 3 by Per Vognsen Joins by Per Vognsen Joins by Per Vognsen Strawman by Per Vognsen Tedious by Per Vognsen Network model by Per Vognsen Tengo una maleta blanca by Per Vognsen Domain model by Per Vognsen Domain model by Per Vognsen The n+1 problem by Per Vognsen	Andris Birkmanis	2007-08-19 00:29
Forum topic	Partial evaluation applied to high speed lighting preview Ray tracing by Per Vognsen	sigfpe	2007-07-30 22:25
Story	An Intensional Type Theory: Motivation and Cut-Elimination Sure by Per Vognsen	neelk	2007-03-19 11:13
Forum topic	What Makes Erlang Processes Tick? Implementation techniques by Per Vognsen	mjstahl	2007-01-29 19:09
Forum topic	Transparent Persistence runST by Per Vognsen ST monad by Per Vognsen Memoization and unsafePerformIO by Per Vognsen Types and state by Per Vognsen Similar approach by Per Vognsen	playergiro	2006-12-20 17:31
Forum topic	unchecked exceptions are like runtime type checking? Test suite by Per Vognsen	lumpynose	2006-12-13 09:40
Story	Sage: A Programming Language With Hybrid Type-Checking Great paper by Per Vognsen	Paul Snively	2006-11-02 17:52
Forum topic	Delevoping a new language... Kernel language approach by Per Vognsen	D.G.Gaev	2006-10-27 07:42
Forum topic	Block-scope Scheme's BEGIN by Per Vognsen	mrpingouin	2006-10-18 15:00
Forum topic	SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? Context by Per Vognsen Thoughts by Per Vognsen	Logan Capaldo	2006-09-25 16:45
Forum topic	Closures for Java or money back Scala by Per Vognsen Non-local transfer by Per Vognsen Non-local control transfer by Per Vognsen	el-vadimo	2006-09-23 19:16
Story	Misc News Specifics? by Per Vognsen	Ehud Lamm	2006-09-10 21:02
Forum topic	Rewriting Haskell Strings	Per Vognsen	2006-09-09 09:45
Forum topic	Small Value Set Types Thanks by Per Vognsen Decidability by Per Vognsen	cdiggins	2006-09-06 02:05
Forum topic	what are the differences between erlang process and pthread threads? Cache by Per Vognsen	bend	2006-08-25 13:31
Forum topic	generating interpreters, IDEs, etc., from simple specifications? Verbosity by Per Vognsen Prolog, etc by Per Vognsen	shahbaz	2006-08-23 14:34
Forum topic	The Killer Application for Concatenative Languages Refactoring by Per Vognsen	John Carter	2006-08-07 19:33
Forum topic	Polymorphic replacement Other tricks by Per Vognsen A way to do it in Python by Per Vognsen	dataangel	2006-07-31 19:56
Forum topic	2006 ICFP Programming Contest registration opens UM implementation by Per Vognsen	Tom7	2006-07-26 02:04
Story	A Core Calculus for Scala Type Checking Protocols by Per Vognsen	Niels Hoogeveen	2006-07-22 15:59
Story	Zipper-based file server/OS Some ideas by Per Vognsen	shapr	2006-07-13 10:13
Forum topic	DSLs and operator associativity/precedence Exercise by Per Vognsen	dataangel	2006-07-11 05:20
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax Transitive closure, searching by Per Vognsen	Frank Atanassow	2006-06-12 07:49
Forum topic	Trying to get embedded python co-routines to work Greenlets by Per Vognsen	raoulvp	2006-06-03 23:35
Forum topic	Lambda the Ultimate Set Comprehension AC by Per Vognsen Well-ordering, AC by Per Vognsen	xyzzy	2006-05-17 06:05
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