Lambda the Ultimate

type	title	author	last post
Forum topic	Limitations of FRP? Synchronous dataflow languages by gasche	Sean McDirmid	2015-08-04 08:28
Forum topic	NOOL 2015 Hm by gasche I missed the joke by gasche Strange title by gasche	Sean McDirmid	2015-07-31 00:19
Forum topic	Research vs implementation, theory vs practice, and LtU Meta-opinion? by gasche IDE vs. runtime by gasche Cognitive dissonance by gasche Classic by gasche Bug-free programming by gasche Interesting by gasche Silent is fine by gasche More about LtU than academia by gasche Not a problem in practice? by gasche Research languages are exploratory by gasche ...	Blaisorblade	2015-07-28 16:57
Forum topic	Who can make LtU2? This is about form, not content by gasche New is better by gasche Hosting? by gasche ... by gasche (In)actions rather than consensus by gasche Community by gasche	raould	2015-07-19 21:56
Forum topic	Compilation to C, a definitive guide? Still generative by gasche "structural in their parameters" by gasche On the Sun/Oracle bugtracker by gasche Unfair by gasche Opaque matters by gasche And debugging and profiling by gasche	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey PLDI, POPL, ECOOP surveys by gasche arxiv in actual practice by gasche	gasche	2015-06-25 06:55
Story	BER MetaOCaml -- an OCaml dialect for multi-stage programming MetaOCaml integration: not yet by gasche Hm by gasche	gasche	2015-06-24 08:53
Forum topic	Types are fundamental to both logic and computation Unconvinced by gasche Hm by gasche Wow by gasche Unsurprising by gasche Excluded middle decidable over finite sets by gasche	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions If you cannot be polite, you can be quiet by gasche Moderation by gasche Expressing negativity by gasche I have a problem with this thread by gasche Unhappy by gasche	gasche	2015-05-30 21:12
Forum topic	More information about Albatross Not related to imperative constructs by gasche Executable by gasche	hbrandl	2015-05-29 13:47
Forum topic	message, stream and protocol typing Session types by gasche	Rys McCusker	2015-05-25 23:37
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Tooling by gasche We lack concrete examples by gasche Please be constructive by gasche	Sean McDirmid	2015-05-20 12:15
Forum topic	Divergence not bottom? Domain theory? by gasche Daimon references by gasche What is bottom? by gasche	Matt M	2015-05-20 00:23
Story	Eve: the development diary of a programming environment aimed at non-programmers Agreed by gasche Robustly glue them together by gasche	gasche	2015-05-18 20:56
Forum topic	Trouble understanding Danvy's functional unparsing Indeed; and I think it is by gasche Found it by gasche Seems to work by gasche	jezng	2015-05-18 13:35
Forum topic	Callisto: building a minimalist language on "versioned objects"	gasche	2015-05-14 23:00
Forum topic	Nanopass Compiler Framework XStream by gasche Not what I meant by gasche Hm by gasche	Bryan Turner	2015-05-13 22:28
Forum topic	A sketch of a "design papers/pearls" category in academic conferences Thanks by gasche Hm by gasche	gasche	2015-05-12 22:41
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Hm by gasche	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary Crowd-sourcing by gasche	naasking	2015-05-09 12:14
Forum topic	Albatross formerly called Modern Eiffel is available Is (not) a function? by gasche	hbrandl	2015-05-08 19:57
Story	Type soundness and race freedom for Mezzo A few lessons from the Mezzo project by gasche	gasche	2015-05-07 13:14
Forum topic	What makes LtU more or less enjoyable? Co-design is the thing by gasche Nice by gasche Benefits of formalization by gasche Precise semantics by gasche Ironic by gasche I understand why you might by gasche Outreach? by gasche Form vs content by gasche	gasche	2015-05-07 06:03
Forum topic	C++ Parser Combinator Library The point by gasche Talking past each other by gasche Open recursion by gasche	Keean Schupke	2015-05-01 13:29
Story	A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation Toy language by gasche	gasche	2015-04-24 13:57
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