Lambda the Ultimate

type	title	author	last post
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Randomized choice by gasche	Rys McCusker	2016-07-15 20:51
Forum topic	Recursive types OCaml by gasche Thanks! by gasche Hm by gasche Is it? by gasche Suggestion for a canonical representation by gasche With your explanations on by gasche Hm by gasche Clarification needed by gasche iso-recursive, equi-recursive by gasche	skaller	2016-06-17 06:02
Story	How to Build Static Checking Systems Using Orders of Magnitude Less Code Hm by gasche Used in practice? by gasche F# unit of measures by gasche Simple checkers; bad tooling culture? by gasche	naasking	2016-06-12 18:06
Forum topic	PLDI 2016 Proceedings now available on-line, free for 3 weeks Thanks! by gasche	emery	2016-06-04 17:30
Forum topic	PL's hotness challenge Intense and external by gasche An occasion to reach inwards by gasche	Sean McDirmid	2016-05-10 06:04
Forum topic	Best successor to Scheme? Hm by gasche	raould	2016-05-03 06:31
Forum topic	Formalization and programming language design -- explained to all Thanks by gasche Formalism and usability by gasche Ambiguity is out by gasche Domain-specific constructions? by gasche Specific examples? by gasche	gasche	2016-04-01 05:40
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Igalia? by gasche	Allan McInnes	2016-03-25 19:25
Forum topic	Programmatic and Direct Manipulation, Together at Last Rhetoric and related work by gasche	Sean McDirmid	2016-02-13 20:21
Story	Temporal Higher Order Contracts	gasche	2016-02-05 16:20
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
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