Lambda the Ultimate

type	title	author	last post
Forum topic	Best value for overloading? Multimethods and natural performance by gasche Comments by gasche	naasking	2018-09-06 21:19
Story	Is Haskell the right language for teaching functional programming principles? "Teachable subset" calls for multi-language programming research by gasche	Ehud Lamm	2018-08-14 06:26
Story	Polymorphism, subtyping and type inference in MLsub Bisubstitution by gasche Thanks by gasche	gasche	2018-07-13 00:37
Forum topic	Type Bombs Sharing by gasche	marco	2018-05-17 10:51
Story	Graydon Hoare: What next for compiled languages? Solid, but suspiciously typed by gasche	Ehud Lamm	2018-04-06 02:24
Forum topic	An impure solution to the problem of matching fans Understanding by gasche Nice! by gasche Exhaustive search by gasche Amount of testing by gasche	Anton Salikhmetov	2018-03-28 15:47
Forum topic	Are Monads a Waste of Time? Heh by gasche Implicit parallelism with multi-argument handlers by gasche Ahem by gasche	Keean Schupke	2018-03-16 00:59
Forum topic	GADTs as gaurds You can by gasche Existentials, not universals by gasche Meh by gasche Concise syntax? by gasche	Matt M	2018-03-14 20:29
Forum topic	Anything recent happening with multi-stage programming? Meta-tracing and Partial evaluation in JITs by gasche staging in proof assistants (VeriML) by gasche	David Teller	2018-03-08 16:18
Forum topic	Generics and Reverse Generics for Dynamic Languages Ahem by gasche	Greg Buchholz	2018-03-06 18:06
Forum topic	Type systems for acyclic terms Sized types by gasche Linear types by gasche	marco	2018-02-09 08:26
Forum topic	Defunctionalization+Refunctionalization+Expression Problem Function type is negative by gasche	chrisoliver	2018-02-02 04:24
Forum topic	Algebra Of Pointers Hu ? by gasche Memory model by gasche	Keean Schupke	2017-12-30 13:48
Story	Copattern matching and first-class observations in OCaml, with a macro Examples from the paper by gasche	naasking	2017-12-25 02:52
Forum topic	Help with Herbelin Thanks by gasche Evaluation context by gasche environments with holes by gasche	jimdesu	2017-12-21 16:01
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Draft by gasche Hm by gasche TRMC in OCaml by gasche Intuitionistic arrow by gasche Unconvinced by gasche Hm by gasche Amusing by gasche Can we have the beautiful? by gasche Interesting by gasche Hm by gasche ...	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Non-determinism: a sublanguage rather than a monad Missing something by gasche Last try by gasche Hm by gasche Impure languages may use monads too by gasche	Greg Buchholz	2017-10-28 07:57
Story	"8th" - a gentle introduction to a modern Forth Commercial language by gasche	Allan McInnes	2017-10-14 05:08
Story	Proceedings of the ACM on Programming Languages ICFP 2017 streamed live by gasche	Ehud Lamm	2017-09-06 06:36
Forum topic	Language features for tracing JIT? Tracing or not? by gasche	Luke Gorrie	2017-08-21 14:33
Forum topic	New simple proof system A deep inference Hilbert proof system by gasche	Edwin Zacharias	2017-08-13 22:29
Forum topic	hobbes, Morgan Stanley OSS Thanks! by gasche Some questions by gasche	Kalani	2017-07-27 14:55
Forum topic	Affine Types - Introductory reading Nonsense by gasche Models by gasche Type systems first, affine/linear type systems later by gasche	filipallberg	2017-07-10 02:17
Forum topic	How to name the inverse functions of constructors view (patterns) by gasche	hbrandl	2017-07-03 00:16
Story	Type Systems as Macros Hackett (mini-Haskell over Racket) uses this work by gasche	naasking	2017-06-25 11:19
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