Lambda the Ultimate

type	title	author	last post
Forum topic	First-Class Patterns Perhaps an administrator by Sean McDirmid	naasking	2024-06-14 09:03
Forum topic	Looking for papers on covariance and contravariance Plenty of people have done by Sean McDirmid	AaronNGray	2019-02-10 18:33
Forum topic	Type Bombs Scala used to have a lot of by Sean McDirmid	marco	2018-05-17 10:51
Forum topic	LIVE 2018 CFP	Sean McDirmid	2018-04-16 17:30
Forum topic	Are Monads a Waste of Time? You can always think like by Sean McDirmid It depends on how you define by Sean McDirmid If some state has different by Sean McDirmid	Keean Schupke	2018-03-16 00:59
Forum topic	Programming by poking: why MIT stopped teaching SICP It is probably useful to by Sean McDirmid	Sean McDirmid	2018-01-26 06:42
Forum topic	Interesting new paper from T. Sweeney and others LtU doesn't support by Sean McDirmid	jasonwatkinspdx	2018-01-22 05:09
Forum topic	Reversing operations How about dynamic scope? by Sean McDirmid Learning things like this is by Sean McDirmid Also, a fun fact: for any by Sean McDirmid Reversible computations are by Sean McDirmid	Pablo Barenbaum	2017-09-08 16:08
Story	Happy Birthday, dear Lambda: 17 is good edition Incidentally, I wonder what by Sean McDirmid It is a fun game, but I by Sean McDirmid Scala at one time. by Sean McDirmid Fields pivot all the time. by Sean McDirmid I'm not leaving LtU, well, I by Sean McDirmid Yes. But communities are by Sean McDirmid This is a good time to by Sean McDirmid	Ehud Lamm	2017-08-18 06:51
Forum topic	Please submit to LIVE! 2017 (SPLASH Vancouver)	Sean McDirmid	2017-07-03 18:38
Forum topic	How to name the inverse functions of constructors unapply by Sean McDirmid	hbrandl	2017-07-03 00:16
Forum topic	Living it up with a Live Programming Language It got in! by Sean McDirmid I mean languages whose by Sean McDirmid The limiting factor is by Sean McDirmid I'll try to use that opening by Sean McDirmid I guess I wasn't being by Sean McDirmid I agree PDF isn't ideal, but by Sean McDirmid The point is that the by Sean McDirmid Here it is, but I am really by Sean McDirmid If the language isn't simple by Sean McDirmid The point was that there is by Sean McDirmid ...	Sean McDirmid	2017-06-10 16:27
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! Oops. Fixed. LtU could by Sean McDirmid	Sean McDirmid	2017-05-12 16:41
Forum topic	Domain specific language for playing games Sure, my public email is by Sean McDirmid Kodu. by Sean McDirmid	davidb	2017-05-03 22:47
Forum topic	Compiler IDE API You can always try to write by Sean McDirmid See, you don't really want by Sean McDirmid Building an incremental type by Sean McDirmid You are really asking the by Sean McDirmid If you build your type by Sean McDirmid	Keean Schupke	2017-04-14 06:08
Forum topic	List of POPL 2017 papers with crowd-sourced preprint links Thanks, Hazelnut looks by Sean McDirmid What stands out to you? by Sean McDirmid	gasche	2016-12-08 18:05
Story	Pycket: A Tracing JIT For a Functional Language The Racket people are very by Sean McDirmid There is the HN discussion. by Sean McDirmid by Sean McDirmid If you want by Sean McDirmid Have cake + eat cake by Sean McDirmid We have plenty of production by Sean McDirmid	gasche	2016-10-06 00:41
Forum topic	Is there a language with the ability to write arbitrary type functions? I've been doing similar by Sean McDirmid Is that the only way we can by Sean McDirmid Are Turing complete type by Sean McDirmid	davidb	2016-08-24 18:18
Forum topic	PHOG: Probabilistic Model for Code	Sean McDirmid	2016-06-22 00:52
Forum topic	Programming with a Differentiable Forth Interpreter	Sean McDirmid	2016-06-06 19:46
Forum topic	Learning to Execute and Neural Turing Machines It wasn't my idea...I found by Sean McDirmid	Sean McDirmid	2016-05-30 14:37
Forum topic	What is Intuitive? Also see Crista's by Sean McDirmid	raould	2016-05-12 23:55
Forum topic	PL's hotness challenge We barely know about life in by Sean McDirmid Apologies by Sean McDirmid Every species is by Sean McDirmid It's not just this remark, by Sean McDirmid I get the feeling that you by Sean McDirmid So far, the only animals by Sean McDirmid By Poe's law, I can't tell by Sean McDirmid Theory can tell you a lot by Sean McDirmid We can influence our by Sean McDirmid That is definitely part of by Sean McDirmid ...	Sean McDirmid	2016-05-10 06:04
Forum topic	LIVE 2016 @ ECOOP (CFP) And until April 25th. We by Sean McDirmid Deadline extended to April by Sean McDirmid	Sean McDirmid	2016-04-22 23:16
Forum topic	Best opening sentence ever, in a paper on S-Exprs for IDEs. Pay lots of money or break by Sean McDirmid Interesting work, but they by Sean McDirmid	raould	2016-04-02 22:53
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