Lambda the Ultimate

type	title	author	last post
Forum topic	According to Allen Holub programming is now a liberal art. When did this happen? What about philosophy? by Andris Birkmanis	ade_oshineye	2005-04-16 22:46
Forum topic	Denotational semantics of a DSL? Thanks to everybody by Andris Birkmanis Ok then by Andris Birkmanis Is the early Pascal a general purpose language? by Andris Birkmanis Is lambda calculus a general purpose programming language? by Andris Birkmanis Found so far by Andris Birkmanis	Andris Birkmanis	2005-04-15 19:14
Story	Dominus talks about HO Perl Sorry :( by Andris Birkmanis Agree by Andris Birkmanis	Charles A Stewart	2005-04-14 23:18
Story	CogPrints - if you believe PLs are languages	Andris Birkmanis	2005-04-13 18:44
Forum topic	Links Slides The sheer depth by Andris Birkmanis	Ethan Aubin	2005-04-12 14:55
Forum topic	Premonoidal categories and notions of computation Thanks by Andris Birkmanis	Andris Birkmanis	2005-04-11 07:03
Story	MetaKlaim An Idealized MetaML by Andris Birkmanis	Bryn Keller	2005-04-09 14:48
Story	Recovering resources in the pi-calculus Region analysis and a pi-calculus with groups by Andris Birkmanis	Andris Birkmanis	2005-04-05 21:54
Story	How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible Categorical Structure of Continuation by Andris Birkmanis System/user border by Andris Birkmanis	Ehud Lamm	2005-04-03 13:54
Story	Games for Logic and Programming Languages: Etaps'05 Impatient to see the report by Andris Birkmanis	Andris Birkmanis	2005-04-02 08:55
Story	Fold Must Fold! XFortran? Semantic Fortran? by Andris Birkmanis Way to go! by Andris Birkmanis	Noel	2005-04-02 03:13
Forum topic	FAQ typo	Andris Birkmanis	2005-03-31 12:06
Forum topic	Proper tail reflection? Why not by Andris Birkmanis Will it be Bald in the end? by Andris Birkmanis	Andris Birkmanis	2005-03-27 09:42
Story	Grady Booch: AOSD keynote I am afraid they took that look :( by Andris Birkmanis Yes, it is tricky by Andris Birkmanis	Ehud Lamm	2005-03-25 16:04
Forum topic	Embedding one language in another Metaprogramming by Andris Birkmanis Quines and polyglots by Andris Birkmanis	sudarshan	2005-03-24 19:10
Story	UCPy: Reverse Engineering Python I think I see by Andris Birkmanis CISC? by Andris Birkmanis	Dominic Fox	2005-03-24 15:19
Story	μABC: A Minimal Aspect Calculus Retrospect: Perspectives (including program slicing) and AOP by Andris Birkmanis Retrospect: Dynamically scoped functions vs. AOP by Andris Birkmanis Extra fat bacon by Andris Birkmanis Pointcut languages? by Andris Birkmanis On a positive side by Andris Birkmanis Just a very late binding? by Andris Birkmanis	Andris Birkmanis	2005-03-22 22:02
Forum topic	Journals and papers? Translation? by Andris Birkmanis	BigZaphod	2005-03-22 17:56
Forum topic	Reflection in Java: how are they getting with it? Implementors broke reflection?? by Andris Birkmanis Too harsh by Andris Birkmanis	Andris Birkmanis	2005-03-21 14:35
Story	OCaml vs. C++ for Dynamic Programming Sounds more like soundness by Andris Birkmanis "Well-typed programs don’t go wrong" by Andris Birkmanis	Ehud Lamm	2005-03-21 14:06
Story	A New Approach to Abstract Syntax with Variable Binding Mugshots by Andris Birkmanis	Dave Herman	2005-03-17 08:42
Story	Linear Forwarders Not really by Andris Birkmanis	Andris Birkmanis	2005-03-16 13:33
Forum topic	Linearly Used Continuations Representing Control in the Presence of One-Shot Continuations by Andris Birkmanis	Andris Birkmanis	2005-03-01 15:48
Forum topic	The HM system does not have principal typings for all terms Jim provided some examples as well by Andris Birkmanis Comparing System S to HM∀ by Andris Birkmanis Will need to search later by Andris Birkmanis Confused by Andris Birkmanis found no translation mechan by Andris Birkmanis All of them? by Andris Birkmanis Polar type inference with intersection types and omega by Andris Birkmanis A Polar Type System by Andris Birkmanis "What are principal typings and what are they good for?" by Andris Birkmanis See also by Andris Birkmanis	Andris Birkmanis	2005-02-26 07:26
Story	Nick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations Missing link by Andris Birkmanis	Ehud Lamm	2005-02-24 16:56
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