Lambda the Ultimate

type	title	author	last post
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
Forum topic	I am not a number: I am a free variable Have to find out by Andris Birkmanis	Andris Birkmanis	2005-02-24 08:27
Forum topic	Special characters' input methods I meant a browser-side gimmick :) by Andris Birkmanis	Andris Birkmanis	2005-02-24 07:05
Forum topic	What are The Atoms of Programming Languages? Types, names, and scopes = telescopes by Andris Birkmanis Both kinds of names by Andris Birkmanis Names for computers or humans? by Andris Birkmanis "names without objects are meaningless" by Andris Birkmanis Static internal names vs. dynamic published names by Andris Birkmanis	Dmitri Kondratiev	2005-02-23 13:07
Story	The pi-Calculus in Direct Style Review by Andris Birkmanis And even more "direct" by Andris Birkmanis	Andris Birkmanis	2005-02-21 08:31
Forum topic	Call-by-what? Quick review - corrections welcome by Andris Birkmanis Ever since Milner introduced the pi-calculus... by Andris Birkmanis Exactly by Andris Birkmanis Call-by-send by Andris Birkmanis Trying to think dually by Andris Birkmanis More values can be obtained as a result of CBV than CBN? by Andris Birkmanis Abstractions by Andris Birkmanis	Andris Birkmanis	2005-02-21 08:28
Story	The Kell Calculus	Andris Birkmanis	2005-02-16 18:50
Forum topic	The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software Pi => message-passing? by Andris Birkmanis Transients in Java by Andris Birkmanis Unit tests for asynchronous code by Andris Birkmanis Neither dynamic nor static enough by Andris Birkmanis Trying to turn the safety off by Andris Birkmanis Java threads might be expensive by Andris Birkmanis	ade_oshineye	2005-02-15 21:26
Forum topic	Langauges and Hardware... Looks interesting by Andris Birkmanis I'm sure I would enjoy brow by Andris Birkmanis Per clock cycles, not per wall clock by Andris Birkmanis That was a pleasure! by Andris Birkmanis Thou shalt not burn by Andris Birkmanis	Matt Estes	2005-02-15 17:11
Story	The Church Project	Andris Birkmanis	2005-02-09 11:25
Story	A Type System Equivalent to Flow Analysis A calculus with polymorphic and polyvariant flow types by Andris Birkmanis FC sees them as orthogonal not as equivalent by Andris Birkmanis	Andris Birkmanis	2005-02-08 18:22
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