Lambda the Ultimate

type	title	author	last post
Forum topic	Best value for overloading? What does solve the by Jules Jacobs Julia has type parameters, by Jules Jacobs	naasking	2018-09-06 21:19
Forum topic	Representing Type Information in Dynamically Typed Languages Are there specific problems by Jules Jacobs	Ray Dillinger	2018-04-06 21:50
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Linear types have already by Jules Jacobs Yes you're right, as far as by Jules Jacobs Languages that support this by Jules Jacobs	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Affine Types - Introductory reading OPLSS lectures on by Jules Jacobs	filipallberg	2017-07-10 02:17
Story	Salon des Refusés -- Dialectics for new computer science Physicists' use of Dirac by Jules Jacobs	gasche	2017-02-19 07:18
Forum topic	Markdown support? Hacks by Jules Jacobs	gasche	2017-01-10 13:52
Story	Stroustrup's Rule and Layering Over Time B by Jules Jacobs Those implicit choices are by Jules Jacobs The existence of this by Jules Jacobs	Ehud Lamm	2017-01-04 21:43
Forum topic	List of POPL 2017 papers with crowd-sourced preprint links Just based on the titles and by Jules Jacobs Amazing work as always! by Jules Jacobs	gasche	2016-12-08 18:05
Forum topic	Indispensible use cases for record subtyping? Tuples suffice, but names by Jules Jacobs Regarding the path of least by Jules Jacobs What about final encodings by Jules Jacobs	naasking	2016-10-04 17:37
Forum topic	Looking for references on the expressiveness and computational completeness of a relational programming language Don't datalog programs by Jules Jacobs	davidb	2016-09-08 06:02
Story	How to Build Static Checking Systems Using Orders of Magnitude Less Code A lot of these problems also by Jules Jacobs Are F# units of measure used by Jules Jacobs	naasking	2016-06-12 18:06
Forum topic	PL's hotness challenge If there is no way for by Jules Jacobs How successful a person can by Jules Jacobs	Sean McDirmid	2016-05-10 06:04
Story	Simon Peyton Jones elected into the Royal Society Fellowship Congratulations by Jules Jacobs	Ohad Kammar	2016-05-01 16:27
Story	Second-order logic explained in plain English Maybe it's time for a by Jules Jacobs	Charles Stewart	2016-02-19 12:40
Story	Static vs. Dynamic Languages: A Literature Review It's the function itself is by Jules Jacobs Indeed, you need two by Jules Jacobs An interesting related point by Jules Jacobs	naasking	2016-01-11 06:22
Forum topic	POPL 2016 Research program... These titles piqued my by Jules Jacobs	Sean McDirmid	2015-12-13 11:48
Story	Programming with Algebraic Effects and Handlers That would be great!I have by Jules Jacobs If by "effect system" you by Jules Jacobs This is very interesting. by Jules Jacobs	Matt Hellige	2015-12-04 03:11
Forum topic	The impact of syntax colouring on program comprehension	Jules Jacobs	2015-11-26 12:54
Forum topic	1ML — Core and modules united For a modular language you by Jules Jacobs The library and client by Jules Jacobs Correct me if I'm wrong, but by Jules Jacobs Isn't there a difference by Jules Jacobs	Tom Primožič	2015-11-09 21:29
Forum topic	PL vs. PX That can work in many cases, by Jules Jacobs Idempotency is necessary but by Jules Jacobs That's interesting. What by Jules Jacobs Scaling is a different by Jules Jacobs I managed to watch this talk by Jules Jacobs I don't have a fundamental by Jules Jacobs Another question by Jules Jacobs Definition of intuitionistic by Jules Jacobs It is precisely a small by Jules Jacobs They aren't total in a by Jules Jacobs ...	Sean McDirmid	2015-10-26 18:24
Forum topic	alternate basic models of framing code behavior and purpose? If two features are totally by Jules Jacobs	Rys McCusker	2015-10-15 04:27
Forum topic	Optimal efficiency Indeed, what is and what by Jules Jacobs Just for fun I ran a by Jules Jacobs I know that gasche was by Jules Jacobs Not hard to calculate by Jules Jacobs The O(1) assumption is by Jules Jacobs	Keean Schupke	2015-10-12 06:19
Forum topic	Live programming in APX, an early peek If you've done some by Jules Jacobs Without this, live by Jules Jacobs The way I view it is that by Jules Jacobs I have an implementation of by Jules Jacobs Very interesting. How do you by Jules Jacobs Visual Studio can show you by Jules Jacobs	Sean McDirmid	2015-09-30 15:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? No idea, but it appears to by Jules Jacobs Both clang++ and g++ compile by Jules Jacobs Nice work. If I'm not by Jules Jacobs Have you verified that the by Jules Jacobs The point of the pointer is by Jules Jacobs Yes, roughly, with a small by Jules Jacobs For example I think by Jules Jacobs Yes, agreed. Rust goes in by Jules Jacobs What's wrong with everything by Jules Jacobs If your concern is by Jules Jacobs	Ray Dillinger	2015-09-29 15:36
Forum topic	meta: September "propose a post" post (proposal) I really like this list, by Jules Jacobs Those things are still being by Jules Jacobs I think an interesting topic by Jules Jacobs	Thomas Lord	2015-09-15 10:27
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