Alloy

Brown, Neil C. C.; Sampson, Adam T.

doi:10.1145/1596638.1596652

Cited by 7 publications

(3 citation statements)

References 21 publications

(29 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our own benchmarks show it to be an order of magnitude slower than handwritten, non-generic code, and this fact is documented many times in the literature (Rodriguez Yakushev 2009;Brown and Sampson 2009;Chakravarty et al 2009;Magalhães et al 2010;Adams and DuBuisson 2012;Sculthorpe et al 2013b). …”

Section: Introductionsupporting

confidence: 56%

“…There has been a significant amount of work on designing more efficient generic-programming systems (Mitchell and Runciman 2007;Brown and Sampson 2009;Chakravarty et al 2009; Augustsson 2011; Adams and DuBuisson 2012), but there is little work on optimizing a pre-existing generic-programming system as we do here. Magalhães (2013) shows how to optimize the generic-deriving system by using standard compiler optimizations, but notes that his techniques are not sufficient to optimize SYB-style code.…”

Section: Related Workmentioning

confidence: 97%

See 1 more Smart Citation

Optimizing SYB is easy!

Adams

Farmer

Magalhães

2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

View full text Add to dashboard Cite

The most widely used generic-programming system in the Haskell community, Scrap Your Boilerplate (SYB), also happens to be one of the slowest. Generic traversals in SYB are often an order of magnitude slower than equivalent handwritten, non-generic traversals. Thus while SYB allows the concise expression of many traversals, its use incurs a significant runtime cost. Existing techniques for optimizing other generic-programming systems are not able to eliminate this overhead.This paper presents an optimization that completely eliminates this cost. Essentially, it is a partial evaluation that takes advantage of domain-specific knowledge about the structure of SYB. It optimizes SYB-style traversals to be as fast as handwritten, non-generic code, and benchmarks show that this optimization improves the speed of SYB-style code by an order of magnitude or more.

show abstract

Section: Introductionsupporting

confidence: 56%

Section: Related Workmentioning

confidence: 97%

Optimizing SYB is easy!

Adams

Farmer

Magalhães

2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

View full text Add to dashboard Cite

show abstract

“…Writing to William Haskell, the American Relief Administration's director in Moscow, Brown admitted, "it was gratifying to me to have [Robertson's] views as a layman." 104 Even after his visits, organizations such as the American Relief Administration kept in touch with Robertson and the rest of the British units, requesting his advice and knowledge on the famine conditions. 105 Thus, with Robertson's guidance, systematic humanitarian knowledge came to shape the ways in which national and international agencies provided foreign aid.…”

Section: The Famine Expertmentioning

confidence: 99%

From Empire to Humanity: The Russian Famine and the Imperial Origins of International Humanitarianism

Sasson¹

2016

J. Br. Stud.

View full text Add to dashboard Cite

This article investigates the imperial origins of international humanitarianism in the British and international relief mission to Russia during the famine of 1921-1922. The famine triggered the first large-scale international humanitarian mission beyond the scope of the European and American empires. Imperial expertise and knowledge became central to the British as well as international humanitarian response to relieve hungry Russia. From international coordination to national campaigns, British politicians and voluntary aid workers relied on imperial tools and thought. The British involvement in the relief mission to Russia thus provides a fresh perspective on the development of internationalist and nationalist humanitarian projects in the interwar period and their relationship to imperial legacies. Through humanitarian aid, Britain assumed a new role on a global stage. By retooling imperial expertise, humanitarian ethics became part of a project of global governance. Furthermore, with the advice of former colonial experts, a "mixed economy" of voluntary and state aid underlay the collaboration between voluntary and international agencies throughout the famine and after. The history of famine relief provides a case study in the emergence of humanitarian governance in the twentieth century.

show abstract

Scala for generic programmers

Oliveira¹,

Gibbons²

2010

J. Funct. Prog.

View full text Add to dashboard Cite

Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as 'list of'. Most approaches to datatype-generic programming are developed in the lazy functional programming language Haskell. We argue that the functional object-oriented language Scala is in many ways a better setting. Not only does Scala provide equivalents of all the necessary functional programming features (such parametric polymorphism, higher-order functions, higher-kinded type operations, and type-and constructor-classes), but it also provides the most useful features of object-oriented languages (such as subtyping, overriding, traditional single inheritance, and multiple inheritance in the form of traits). We show how this combination of features benefits datatype-generic programming, using three different approaches as illustrations.

show abstract

Alloy

Cited by 7 publications

References 21 publications

Optimizing SYB is easy!

Optimizing SYB is easy!

From Empire to Humanity: The Russian Famine and the Imperial Origins of International Humanitarianism

Scala for generic programmers

Contact Info

Product

Resources

About