Ross Angle

typetitleauthorlast post sort icon
StoryYOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Ehud Lamm2017-07-12 11:44
Forum topicThe Two Dualities of Computation: Negative and Fractional Types Greg Buchholz2017-04-26 16:36
Forum topicInference of Polymorphic Recursion Matt M2017-02-07 04:40
StoryStroustrup's Rule and Layering Over Time Ehud Lamm2017-01-04 21:43
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicCertificates/proof of work of type checking? naasking2016-09-22 06:41
Forum topicIs there an existing name for my higher-order function? shawnbrown2016-08-07 13:10
Forum topichow to design PL support for effects emerging from parallel non-determinism? Rys McCusker2016-07-15 20:51
Forum topicDon't use "Yield" for co-routines; instead use "Postpone" Hewitt2016-05-09 12:03
Forum topicIEEE Scheme expiring soon johnwcowan2016-04-16 17:32
Forum topicEarl Grey; the story of a new programming language Greg Buchholz2016-03-31 23:37
Forum topic¿How can a dynamically typed language not actively prevent static checking? raould2016-03-31 23:06
Forum topicNew Regexp Ivan Vodišek2016-03-24 12:55
Forum topicChallenges Facing a High-Level Language for Machine Knitting marco2016-02-03 22:07
Forum topicNeed to Talk marco2016-02-02 05:56
Forum topicTyped X (Racket, Clojure, Lua) just doesn't pan out? raould2016-01-31 00:31
StoryProgress on Gradual Typing gasche2016-01-28 15:13
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
Forum topicTyped Data Andrew Moss2015-12-31 08:59
StoryCompilers as Assistants bashyal2015-12-04 15:35
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicLive programming in APX, an early peek Sean McDirmid2015-09-30 15:45
Forum topicImplementing the communication semantics of actors Andrew Moss2015-08-24 18:31
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-08-19 02:04