Lambda the Ultimate

type	title	author	last post
Forum topic	Challenges Facing a High-Level Language for Machine Knitting Agreed by gasche	marco	2016-02-03 22:07
Forum topic	Need to Talk Hm by gasche Programming languages? by gasche	marco	2016-02-02 05:56
Story	Coordinated concurrent programming in Syndicate	gasche	2016-02-01 18:40
Story	Progress on Gradual Typing Sound gradual typing is not dead by gasche Gradual typing, contracts, and blame by gasche	gasche	2016-01-28 15:13
Story	Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities	gasche	2016-01-12 23:30
Story	Static vs. Dynamic Languages: A Literature Review Difficult by gasche	naasking	2016-01-11 06:22
Forum topic	Typed Data Higher-order functions are not language-agnostic by gasche Selling point? by gasche Two linked topics: structured data and richer interaction by gasche	Andrew Moss	2015-12-31 08:59
Forum topic	POPL 2016 Research program... Does LtU have suggestions or highlights? by gasche Preprint gathering repo by gasche	Sean McDirmid	2015-12-13 11:48
Story	Compilers as Assistants OCaml IDE by gasche Parsing error recovery by gasche Hint: Did you mean by gasche	bashyal	2015-12-04 15:35
Forum topic	Logical and Functional Programming in Each Other Escape from the what again? by gasche	Jack Waugh	2015-12-02 19:01
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Hm by gasche Value ranges by gasche Quora woes by gasche	Sean McDirmid	2015-11-24 16:45
Forum topic	How Useful is Erlang Hot-Swapping of Code? Hm by gasche Hm by gasche OS and languages by gasche	marco	2015-11-10 18:57
Forum topic	1ML — Core and modules united Lambda-the-ultimate still shines by gasche Incremental type-checking by gasche Separate compilation matters by gasche	Tom Primožič	2015-11-09 21:29
Forum topic	inter-language PL theory patterns relevant to IPC? Heh by gasche	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX "How we ended up with microservices" by gasche Ok by gasche Hm by gasche How should PX be evaluated? by gasche	Sean McDirmid	2015-10-26 18:24
Forum topic	The future of live programming Programming by example by gasche	Sean McDirmid	2015-10-17 01:38
Forum topic	alternate basic models of framing code behavior and purpose? Interesting by gasche	Rys McCusker	2015-10-15 04:27
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml Meh by gasche Hm by gasche Email (meta) by gasche Link by gasche	Allan McInnes	2015-10-12 22:15
Forum topic	Optimal efficiency Memory reuse in CHR implementations by gasche Nice by gasche Hm by gasche Real hardware by gasche	Keean Schupke	2015-10-12 06:19
Forum topic	Live programming in APX, an early peek Tuple selection by gasche Hm by gasche Types, benchmarks by gasche Type system motivation unsatisfying by gasche	Sean McDirmid	2015-09-30 15:45
Forum topic	Moderation on LtU Personal preference is fine by gasche Meh by gasche Okay by gasche Blind trust by gasche Hm by gasche Any other volunteers? by gasche Hm by gasche So? by gasche Indeed by gasche Voluntary by gasche ...	gasche	2015-09-05 11:34
Forum topic	Big questions Doing what you like by gasche More meh by gasche Meh natural talent meh by gasche Grading on beauty by gasche HoTT as *an* equality rather than *the* equality by gasche Hard to tell by gasche ML and dependent by gasche Open questions in functional programming? by gasche	Ehud Lamm	2015-08-27 03:57
Forum topic	Eric Lippert's Sharp Regrets Object-orientation creates hard issues by gasche Topic move by gasche Relevant pointer by gasche	Wolf Logan	2015-08-24 11:10
Forum topic	Harnessing Curiosity to Increase Correctness in End-User Programming Very interesting by gasche	Blaisorblade	2015-08-22 19:05
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development You cannot conflate hardware and software memory models by gasche Weak memory models tend to be broken by gasche	gasche	2015-08-22 15: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