naasking

typetitleauthorlast post sort icon
Forum topicIs there a language with the ability to write arbitrary type functions? davidb2016-08-24 18:18
StoryPowerShell is open sourced and is available on Linux Ehud Lamm2016-08-21 21:31
StoryAutomatic type inference via partial evaluation Ehud Lamm2016-08-15 15:40
Forum topicMicroscript Ivan Vodišek2016-08-08 22:31
StoryFully Abstract Compilation via Universal Embedding naasking2016-08-04 09:26
Forum topicAlice, Bob, and Penthesilea: mutually suspicious code and data owners johnwcowan2016-07-29 14:27
StoryDynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong) naasking2016-06-18 12:52
StoryHow to Build Static Checking Systems Using Orders of Magnitude Less Code naasking2016-06-12 18:06
StorySet-Theoretic Types for Polymorphic Variants naasking2016-06-09 18:41
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicSTEPS Toward the Reinvention of Programming, 2012 Final Report Greg Buchholz2016-05-26 05:14
Forum topicFor the record... Ehud Lamm2016-05-24 10:28
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2016-05-20 04:50
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicBinary Representation - Is it something to rise above? Ray Dillinger2016-04-24 02:14
Forum topic¿How can a dynamically typed language not actively prevent static checking? raould2016-03-31 23:06
Forum topicIs the "Getting started"-guide up-to-date? filipallberg2016-03-29 06:03
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
StorySecond-order logic explained in plain English Charles Stewart2016-02-19 12:40
Forum topicAndl is a New Database Language davidb2016-02-08 03:43
Forum topicChallenges Facing a High-Level Language for Machine Knitting marco2016-02-03 22:07
Forum topicNeed to Talk marco2016-02-02 05:56
StoryProgress on Gradual Typing gasche2016-01-28 15:13
Forum topicProposal for a Friendly Dialect of C Greg Buchholz2016-01-15 17:08