user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Policy as Types	mikestay	2014-05-07 16:26
Forum topic	The TechEmpower Web Framework Benchmarks	Adam Chlipala	2014-05-06 11:41
Forum topic	Moony Parser 2.3 is out	Ivan V.	2014-05-05 22:24
Forum topic	Addressing Misconceptions About Code with Always-On Programming Visualizations nice by raould	Sean McDirmid	2014-05-05 20:28
Forum topic	LtU now supports Mathjax Hunting through unicode, by John Shutt Latin small letter l with bar? by troyp This is a good thing by marco $ by Jason Grossman The symbol that looks like by John Shutt Reading about digamma, by Anton van Straaten Except I didn't use that by John Shutt My LaTeX code for vau transforms \(f\) using pstricks by John Shutt Nice but not strictly necessary by johnwcowan Perhaps I should just add vau to MathJax by Anton van Straaten ...	Anton van Straaten	2014-05-05 14:47
Forum topic	The Avail programming language I'm just looking at the by RM Schellhas Four days in and the team is by Mark van Gulik Predicate dispatching (like by Mark van Gulik Thanks for that! We by Mark van Gulik Thanks for the explanation by Matt M Introspection sort, by naasking Unfortunately, we're still by Mark van Gulik We appreciate your concern by Mark van Gulik APL versus COBOL by Robbert van Dalen Dispatch by Matt M ...	Robbert van Dalen	2014-05-05 13:23
Forum topic	A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation	Sean McDirmid	2014-05-05 00:05
Forum topic	Alternatives to ADL? Many languages fit the by dmbarbour That's a concept by Matt M Yeah by gasche Not really an option for most people by Talin Agreed that the mapping from by Talin Possibly look at work on multimethods by Tess Foley Seconded by Matt M Fourth option by dmbarbour	Talin	2014-05-02 21:27
Forum topic	Giant list of visual PLs A category-theoretical treatment of signal-flow graphs by vrijz Not much control flow by Keean Schupke That much I know by marco The control/signal-processing DSL by Allan McInnes Visual programming by Matt Hellige Do you really think screen by dmbarbour Hmmm by Matt M I think visual programming by naasking We don't need strong AI to by Sean McDirmid We'll see. I imagine speech by dmbarbour ...	Manuel J. Simoni	2014-05-02 16:09
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