Lambda the Ultimate

type	title	author	last post
Forum topic	A Functional Representation of Data Structures with a Hole (1998)	Vladimir Slepnev	2017-10-12 08:06
Story	When Is A Functional Program Not A Functional Program? Church-Turing thesis by Vladimir Slepnev	neelk	2015-11-20 21:56
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega thanks again by Vladimir Slepnev thanks! by Vladimir Slepnev desiderata? by Vladimir Slepnev	naasking	2015-11-18 18:04
Forum topic	Making implicits less powerful? ambiguity by Vladimir Slepnev Are you sure about the "scope" part? by Vladimir Slepnev Ad hoc instances by Vladimir Slepnev Non-modularity of inference by Vladimir Slepnev Equality by Vladimir Slepnev Not just EDSLs by Vladimir Slepnev Sometimes there are no gaps by Vladimir Slepnev	Vladimir Slepnev	2015-02-20 16:07
Story	Cost semantics for functional languages Strict vs non-strict by Vladimir Slepnev	gasche	2014-08-21 22:00
Story	Apple Introduces Swift When to use exceptions by Vladimir Slepnev	bashyal	2014-08-21 17:54
Forum topic	Call by Meaning Symbolic vs statistical AI by Vladimir Slepnev	Sean McDirmid	2014-08-13 21:44
Forum topic	Executable comments logging by Vladimir Slepnev	Sean McDirmid	2014-05-22 23:23
Forum topic	Using real arithmetic to eliminate bounds checking? Cool! by Vladimir Slepnev yeah by Vladimir Slepnev Z3 by Vladimir Slepnev Integers modulo N by Vladimir Slepnev Presburger arithmetic by Vladimir Slepnev	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Value-level programming yeah by Vladimir Slepnev yeah by Vladimir Slepnev applications to generic programming by Vladimir Slepnev math reasons ;-) by Vladimir Slepnev containers by Vladimir Slepnev records by Vladimir Slepnev the connection with delimcc by Vladimir Slepnev Yeah by Vladimir Slepnev yeah by Vladimir Slepnev	Vladimir Slepnev	2014-05-08 19:51
Story	The Weird World of Bi-Directional Programming generality by Vladimir Slepnev terminology by Vladimir Slepnev	Ehud Lamm	2011-10-07 21:43
Story	Guido: Language Design Is Not Just Solving Puzzles might be good for GUI programming by Vladimir Slepnev	Ehud Lamm	2011-01-05 17:06
Forum topic	expressivity of "idiomatic C++" Expressivity by Vladimir Slepnev You're kidding, right? by Vladimir Slepnev Ah, thanks. I was confused, b by Vladimir Slepnev ? by Vladimir Slepnev You almost fooled me :-) Y by Vladimir Slepnev Ah, sorry. We're talking abou by Vladimir Slepnev Yes, this signature is defini by Vladimir Slepnev Equally well? by Vladimir Slepnev	el-vadimo	2010-11-10 22:56
Story	How Does Our Language Shape The Way We Think? In ultra-condensed form: by Vladimir Slepnev	Chris Rathman	2009-06-18 18:47
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Thanks! by Vladimir Slepnev Thanks! by Vladimir Slepnev OMake by Vladimir Slepnev haXe by Vladimir Slepnev . by Vladimir Slepnev Caught me by Vladimir Slepnev Good one by Vladimir Slepnev For the record by Vladimir Slepnev Wow! by Vladimir Slepnev Yes by Vladimir Slepnev ...	John Carter	2009-05-23 23:23
Story	LtU: blog not forum! death penalty by Vladimir Slepnev	Ehud Lamm	2009-02-14 14:11
Forum topic	Q: Modularizing SQL? a hack by Vladimir Slepnev	sciomako	2008-11-15 13:40
Story	Gilad Bracha: Will Continuations continue? Almost... by Vladimir Slepnev	Ehud Lamm	2008-08-01 02:47
Forum topic	Yield Prolog Nice! by Vladimir Slepnev	DougRansom	2008-07-30 22:45
Forum topic	Petition for adding garbage collection to C++. exception safety by Vladimir Slepnev	Achilleas Margaritis	2007-11-20 16:24
Story	ECMAScript 4 overview paper Thanks! by Vladimir Slepnev Speed, bugs by Vladimir Slepnev I'm losing track by Vladimir Slepnev Plugin cliff by Vladimir Slepnev Irreverent questions by Vladimir Slepnev JS gets the kitchen sink by Vladimir Slepnev	doublec	2007-11-07 04:52
Forum topic	Formal methods for O/R mapping Synonyms by Vladimir Slepnev Code is data? by Vladimir Slepnev 2 by Vladimir Slepnev The point again, in more detail by Vladimir Slepnev I'll try a simple explanation by Vladimir Slepnev	Andris Birkmanis	2007-08-19 00:29
Forum topic	Code generation vs. dynamic/introspective languages red herring? by Vladimir Slepnev	raould	2006-11-05 21:03
Forum topic	The US Torture Bill as C code most severe by Vladimir Slepnev	Ehud Lamm	2006-10-15 11:09
Story	Lang .NET 2006 For the record by Vladimir Slepnev	Erik Meijer	2006-09-18 18:32
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