bookmark
MagicHaskeller: A Search-based Inductive Functional Programming System
http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
Preview
Tags
- automatisch
- enumerative_ip
- funktional
- haskell
- higher-order_functions
- ifp
- induction
- inductive_programming
- ip-system
- magichaskeller
- program_synthesis
- toread
