Lambda the Ultimate

type	title	author	last post
Forum topic	Let's make a programming language! Interior Decoration by Hank Thediek	Achilleas Margaritis	2008-09-07 00:48
Forum topic	Is it a Programming Language? Do you know what your semantics is? by Hank Thediek	Ashley McNeile	2008-08-26 22:55
Story	Programming Language Beauty: Look Closure It is "folk lore" in by Hank Thediek	Erik Meijer	2008-08-20 12:30
Story	program verification: the very idea Annotation systems by Hank Thediek Research by Hank Thediek Physical semantics by Hank Thediek Edit: And don't forget to by Hank Thediek I only just briefly read by Hank Thediek Cultures, by Hank Thediek Point of view by Hank Thediek Semantic verification by Hank Thediek	el-vadimo	2008-08-03 21:15
Story	Why Multi-Core is Easy and Internet is Hard Anthropomorphisms by Hank Thediek	Peter Van Roy	2008-07-03 06:55
Story	Safe and Secure Software in Ada This is a interesting link by Hank Thediek I don't get it. Your linked by Hank Thediek How can you hope to by Hank Thediek Also, I would add that by Hank Thediek I am constantly amaized at by Hank Thediek	Ehud Lamm	2008-06-24 02:18
Story	Computation and the Periodic Table An interesting related Ltu by Hank Thediek	Daniel Yokomizo	2008-06-21 16:16
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future I found this interesting by Hank Thediek A much better rendition of by Hank Thediek An interpretation by Hank Thediek The future of logic programming by Hank Thediek	Ehud Lamm	2008-06-18 15:17
Story	Diagram showing all programming paradigms and their relationships Clarification by Hank Thediek The meaning isn't simple by Hank Thediek I am thinking about the by Hank Thediek Labels by Hank Thediek	Peter Van Roy	2008-06-15 10:16
Story	Simon Peyton Jones: Beautiful concurrency Trying to "get it" by Hank Thediek	Ehud Lamm	2008-06-03 09:53
Story	Computational Thinking By all means! by Hank Thediek Unifying theory by Hank Thediek	Daniel Yokomizo	2008-06-02 23:50
Forum topic	Career paths and concerns Your second point is a by Hank Thediek	jschuster	2008-05-30 17:36
Story	The irreducible physicality of security properties Notes by Hank Thediek Parallels by Hank Thediek	Charles Stewart	2008-05-18 14:42
Forum topic	future history of logic programming An interesting spin on logic by Hank Thediek	el-vadimo	2008-05-08 11:59
Forum topic	A Cybernetics DSL? Rather than solve the by Hank Thediek You might be interested in by Hank Thediek	noisesmith	2008-04-30 15:42
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? More characters by Hank Thediek	Ben Atkin	2008-04-29 03:20
Forum topic	Common Lisp Exception Handling Berkeley ROC by Hank Thediek	SamK	2008-04-28 13:22
Forum topic	On Presenting Operational Semantics The method goes back a long by Hank Thediek ASMs by Hank Thediek	cdiggins	2008-04-25 21:57
Forum topic	Proving compositions X-machines by Hank Thediek Specification by Hank Thediek It is a confusing question. by Hank Thediek Interesting paper. by Hank Thediek abstraction by Hank Thediek	Hank Thediek	2008-04-20 14:05
Story	When Are Two Algorithms the Same? Proof of the Church-Turing(ASM) thesis by Hank Thediek	Ehud Lamm	2008-03-29 14:16
Story	Foundations for Structured Programming with GADTs Monads for programming by Hank Thediek	neelk	2008-03-17 21:26
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? What is real? by Hank Thediek Functional and rule systems by Hank Thediek Goal orientation by Hank Thediek	John Carter	2008-03-09 17:31
Story	Programmers At Work Structure or content by Hank Thediek	Ehud Lamm	2008-03-03 01:52
Forum topic	Union types in Java? Thanks by Hank Thediek	Hank Thediek	2008-02-28 09:01
Forum topic	How useful is reflection, anyway? Types by Hank Thediek Reflection in Java by Hank Thediek Dotted pairs require by Hank Thediek Pointers anyone? by Hank Thediek	Scott Johnson	2008-01-31 18:41
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