-
Notifications
You must be signed in to change notification settings - Fork 5
Issues: ilya-klyuchnikov/mrsc
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
PFP: option for lambda-dropping when residuating
improvement
#2
opened Aug 25, 2011 by
ilya-klyuchnikov
updated Jun 18, 2012
Generic decomposition support - rules + residuation
#45
opened Jun 18, 2012 by
ilya-klyuchnikov
updated Jun 18, 2012
try to adapt MRSC to base classes in scalaz
#42
opened Nov 26, 2011 by
ilya-klyuchnikov
updated Nov 26, 2011
use scalaz type classes to avoid noise
#41
opened Nov 25, 2011 by
ilya-klyuchnikov
updated Nov 25, 2011
Towards simple self-applicable supercompiler: use of abstractors and destructors
#38
opened Nov 20, 2011 by
ilya-klyuchnikov
updated Nov 20, 2011
Experiments with non-flat patterns. - Minimizing program.
#37
opened Nov 20, 2011 by
ilya-klyuchnikov
updated Nov 20, 2011
Experiments with driving: propagating/not propagating positive information.
#36
opened Nov 20, 2011 by
ilya-klyuchnikov
updated Nov 20, 2011
Experiments with folding to superclass, or basic configurations
#35
opened Nov 5, 2011 by
ilya-klyuchnikov
updated Nov 5, 2011
Graph generation via map-reduce
improvement
#32
opened Aug 26, 2011 by
ilya-klyuchnikov
updated Aug 26, 2011
SLL: Let-expressions in residual program.
improvement
#29
opened Aug 26, 2011 by
ilya-klyuchnikov
updated Aug 26, 2011
Simple language: combinatory logic
research
#28
opened Aug 26, 2011 by
ilya-klyuchnikov
updated Aug 26, 2011
Simple language: lambda calculus with recursion
research
#27
opened Aug 26, 2011 by
ilya-klyuchnikov
updated Aug 26, 2011
PFP: Generic component for residuation
research
#26
opened Aug 26, 2011 by
ilya-klyuchnikov
updated Aug 26, 2011
Limiting number of rebuildings
improvement
#23
opened Aug 25, 2011 by
ilya-klyuchnikov
updated Aug 25, 2011
Depth-first vs bread-first construction
improvement
#21
opened Aug 25, 2011 by
ilya-klyuchnikov
updated Aug 25, 2011
Graph serialization/de-serialization.
improvement
#20
opened Aug 25, 2011 by
ilya-klyuchnikov
updated Aug 25, 2011
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-06-03.