Lambda the Ultimate

type	title	author	last post
Forum topic	Type Inference in Object Oriented Languages Finding out whether the by neelk	Johan Tibell	2015-03-09 01:57
Forum topic	Making implicits less powerful? In a dependent type system, by neelk Can you explain how your by neelk I'm not talking about dependent types... by neelk ? by neelk You can't dispatch on return type with virtual methods by neelk	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Thanks by neelk How do you handle function arguments? by neelk Standard OO languages lead to hard problems by neelk	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. I'm not sure by neelk Parts of it by neelk In the case of Rust... by neelk Not in my experience by neelk	John Nagle	2015-02-09 07:25
Forum topic	Function arity with currying and call-by-push-value Qs and As by neelk	Blaisorblade	2015-01-05 16:09
Forum topic	How can be a interpreter faster than C (aka: kdb+) Monadic by neelk	mamcx	2014-12-31 14:26
Forum topic	Integrating Dependent and Linear Types See... by neelk Thanks... by neelk	raould	2014-12-22 20:26
Forum topic	Why do we need modules at all? MTC has essentially the same restriction as Haskell... by neelk The problem... by neelk Yes... by neelk	Sean McDirmid	2014-12-06 15:20
Forum topic	Looking for a good online forum on compiler design and implementation They have a web site of their own too by neelk	Talin	2014-12-03 22:33
Forum topic	Whither Flow Analysis? Thanks! by neelk 0CFA and FPLs by neelk I think you are reading Sam backwards... by neelk	raould	2014-11-14 11:54
Forum topic	Concatenative Language Kont The lambda calculus is the "i by neelk	Chris	2014-10-22 09:15
Forum topic	Jonathan Blow's next foray into game language design . Of course, nowadays there by neelk	jdougan	2014-10-21 20:35
Forum topic	Taking Back Control (Flow) of Reactive Programming I'd say that traditional FRP by neelk	Sean McDirmid	2014-10-16 23:56
Forum topic	On constness FWIW, I agree by neelk	Talin	2014-10-13 20:58
Forum topic	A question of separation logic and monads This is folklore by neelk	Eric Biederman	2014-10-06 04:44
Story	Open thread: RIP Steve Jobs The ban is still not gone... by neelk Well... by neelk	Ehud Lamm	2014-10-05 00:19
Forum topic	Experiment In this case, seems to be yes by neelk Your comments are very strange by neelk	Ehud Lamm	2014-10-01 17:10
Forum topic	Controlling time and space Talk to Matthew Hammer by neelk	Sean McDirmid	2014-09-28 23:48
Story	Apple Introduces Swift Using monads changes the type by neelk Careful by neelk Hey, sum types... by neelk	bashyal	2014-08-21 17:54
Story	seL4: Formal Verification of an Operating-System Kernel No... by neelk If... by neelk	James Iry	2014-07-29 07:19
Forum topic	Is Rx FRP? GUIs, mainly... by neelk For that map you need an by neelk I don't think it's easy to by neelk Yes, you could call this by neelk Event streams are FRP, too by neelk Expressive completeness fails for rationals by neelk It's all FRP by neelk	Sean McDirmid	2014-07-08 18:02
Forum topic	Dynamic Hindley-Milner? I don't get it... by neelk	Sean McDirmid	2014-07-08 08:42
Forum topic	Ambiguous language namespaces I was joking, but Make Live by neelk The solution is obvious! by neelk	Sean McDirmid	2014-07-04 03:31
Forum topic	Removing User Interface Complexity, or Why React is Awesome OK, so you're doing a whole by neelk 1) Yes, you can form streams by neelk Sort of by neelk Okay by neelk If you're thinking of by neelk I don't want to ignore time by neelk Physics engines are a good example... by neelk Continuous time is a trap by neelk FRP works much better for immediate mode over retained mode by neelk	Sean McDirmid	2014-05-23 15:12
Forum topic	Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)	neelk	2014-04-30 10:58
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