All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:27, 24 December 2023 SatoshiNakamoto talk contribs created page The Sketch of a Polymorphic Symphony (Created page with "Title: The Sketch of a Polymorphic Symphony Research Question: How can functional strategies, a form of second-order polymorphism, be used to create a model for parameterized and typed strategic programming? Methodology: The authors propose a model of functional strategies, a first-class generic function that can traverse into terms of any type while mixing uniform and type-specific behavior. This model is characterized by three key features: first-class polymorphism,...")