Sciweavers

4716 search results - page 18 / 944
» Tangible functional programming
Sort
View
FOGA
1990
13 years 8 months ago
A Hierarchical Approach to Learning the Boolean Multiplexer Function
This paper describes the recently developed genetic programming paradigm which genetically breeds populations of computer programs to solve problems. In genetic programming, the i...
John R. Koza
JMLR
2012
11 years 10 months ago
Structured Output Learning with High Order Loss Functions
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
Daniel Tarlow, Richard S. Zemel
ICFP
2002
ACM
14 years 7 months ago
Modular typechecking for hierarchically extensible datatypes and functions
Todd D. Millstein, Colin Bleckner, Craig Chambers
ESOP
2010
Springer
14 years 5 months ago
A PolyTime Functional Language from Light Linear Logic
Patrick Baillot, Marco Gaboardi and Virgile Mogbil
TOOLS
2010
IEEE
14 years 21 days ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...