miniAdapton A Minimal Implementation of Incremental Computation in Scheme Dakota Fisher, Matthew Hammer, William E. Byrd, Matthew Might

Source URL: scheme2016.snow-fort.org

• Computing
• Computer performance
• Memoization
• Software optimization
• Computer programming
• Incremental computing
• Fib
• Algorithm
• Optimal control

αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

Source URL: repository.readscheme.org

Ne irascaris Domine (William Byrd) Ne irascaris Domine William Byrd (cEdited by M.A.B. Soloists

Source URL: www.mab.jpn.org

Relational Programming in miniKanren: Techniques, Applications, and Implementations William E. Byrd

Source URL: scholarworks.iu.edu

CONCERTO William Byrd: stile italiano e spirito elisabettiano nei compositori inglesi tra XVI e XVII secolo Domenica 22 marzo 2015 ore 17.00

Source URL: www.coldrerio.ch

miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk

Source URL: users-cs.au.dk

• Lambda calculus
• Eval
• Anonymous function
• Scheme
• Env
• Church encoding

AmericanRhetoric.com  William Jefferson Clinton  Eulogy for Robert Byrd  Delivered 2 July 2010, West Virginia State Capitol, Charleston, West Virginia 

Source URL: www.americanrhetoric.com

• Racism in the United States
• Robert Byrd
• Byrd
• William Byrd II
• Harry F. Byrd

New Tools and Practices for Online Collaboration in Teaching, Learning, and Research of Programming Languages William E. Byrd University of Utah

Source URL: conf.researchr.org

• Computing
• Software
• Education
• Cross-platform software
• Programming paradigms
• Google Hangouts
• Educational technology
• Google
• Massive open online course
• Go
• Etherpad
• Interactive programming

We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language