Lambda the Ultimate

type	title	author	last post
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
Forum topic	pi-ple rights oppressed	Andris Birkmanis	2005-02-07 18:37
Story	Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus A follow-up by Andris Birkmanis	Andris Birkmanis	2005-02-07 12:29
Forum topic	A question for the theory guys Domains? by Andris Birkmanis	Klaus Ostermann	2005-02-06 16:15
Forum topic	Avoiding worst case GC with large amounts of data? Why it was forgotten? by Andris Birkmanis	James Hague	2005-02-04 17:45
Story	The DSL, MDA, UML thing again... Uh, why not? by Andris Birkmanis	Ehud Lamm	2005-02-04 10:08
Story	Links (Wadler) Or check his CV :) by Andris Birkmanis Inadequate? by Andris Birkmanis It's a great organizational opportunity by Andris Birkmanis	Ehud Lamm	2005-02-01 20:50
Story	Implicit parallel functional programming TCO for free? by Andris Birkmanis	Ehud Lamm	2005-01-28 09:51
Forum topic	APL link is broken	Andris Birkmanis	2005-01-24 13:27
Story	O'Haskell - a functional object-oriented concurrent PL	Andris Birkmanis	2005-01-23 02:22
Story	Introducing Comega Where are the joins? by Andris Birkmanis	Dominic Fox	2005-01-18 11:38
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