Home » user account

Matt Hellige

typetitleauthorlast post sort icon
Forum topicCareer paths and concerns jschuster2008-05-08 06:14
Forum topicStatic Analysis for Duck Typing grom3582008-05-03 22:13
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
Story Species: making analytic functors practical for functional programming neelk2008-04-28 21:49
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2008-04-28 13:57
StoryDerivatives and dissections of data types Andris Birkmanis2008-04-23 00:45
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
Forum topicProving compositions Hank Thediek2008-04-20 14:05
StoryGetting Started Ehud Lamm2008-04-16 23:33
StoryAlgebra of programming using dependent types Matt Hellige2008-04-16 07:27
Forum topicCan local variables assignments be considered pure functional without monads? cdiggins2008-04-14 12:55
StorySimply efficient functional reactivity Matt Hellige2008-04-10 05:53
Forum topicGilad Bracha: Cutting out Static Matt Hellige2008-04-09 15:48
StoryApril 1st special: The War of the Worlds Ehud Lamm2008-04-06 15:50
Forum topicRole of Types in Evaluation Strategy cdiggins2008-03-22 12:39
Forum topicThe Monad.Reader Wouter Swierstra2008-03-20 01:02
Forum topicConfused Deputies in Programming Languages naasking2008-03-18 02:47
StoryData Types a la Carte Matt Hellige2008-03-12 23:21
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2008-03-09 17:31
StorySliced Bananas On Opaque Data Matt Hellige2008-03-05 16:46
StoryHelp John Baez and Mike Stay! Matt Hellige2008-03-05 15:44
Forum topicexceptions again raould2008-02-28 18:08
Forum topicChris Okasaki on Indentation Syntax naasking2008-02-27 15:43
Forum topicDoes anyone know of work done on co-data-types? David Minor2008-02-27 00:24
Forum topicLeaning how to judge the right tool for the job? raould2008-02-26 21:34