byu-cs-630-spring-2013

Title: Honu: Syntactic Extension for Algebraic Notation through Enforestation Summary: We discussed

Title: Honu: Syntactic Extension for Algebraic Notation through Enforestation. Summary: This paper

Title: Macros that work together Summary: I missed the first half hours of class because of the issue

Honu: Syntactic Extension for Algebraic Notation through Enforestation Extensible programming

Honu! This paper is about how all the work that has gone into Lisp/Scheme/Racket macro development

On Tue, Jun 11, 2013 at 6:06 PM, Noonan <noon...@gmail.com> wrote: > Summary: Last macro

Sorry for the resend, I just realized I forgot the date. Summary: Last macro system that did

Title: Macros that work together Summary: This paper first uses the example of "or" to show

Macros that Work Together The first section of this paper discussed the hygienic properties of the

Title: Languages as Libraries Summary: We started discussing about the development of languages such

On Fri, Jun 7, 2013 at 3:13 PM, Matthew Ashcraft <matthew.b...@gmail.com> wrote: >

What it's about Notes that while some languages gave you the ability for cute notation (C) and

Title: Languages as Libraries Summary: The paper uses the extension ability of Racket to implement a

Languages as Libraries The main motivation behind this paper is the experimentation of new sub-

Title: Fortifying Macros Summary: We started with the discussion about the problem of the existing

On Wed, Jun 5, 2013 at 8:49 AM, Andrew Kent <amk....@gmail.com> wrote: > Summary > >

Languages as Libraries Summary: The author starts talking about language platforms and how racket can

On Mon, Jun 3, 2013 at 11:49 AM, Matthew Ashcraft <matthew.b...@gmail.com> wrote: >

Title: Debugging Hygienic Macros Summary: The paper presents the first debugger for Scheme macro

Debugging Hygienic Macros What's it about? This paper attempts to highlight the usefulness of

Debugging Hygienic Macros Summary:The intro talks about macros, why they're important and why a

On Fri, May 31, 2013 at 5:00 PM, Andrew Kent <amk....@gmail.com> wrote: > We began the

Title: Taming Macros Summary: We first compare the type system, static analysis and theorem proving.

On Wed, May 29, 2013 at 10:19 PM, Noonan <noon...@gmail.com> wrote: > Taming Macros >

Title: 1, A Few Principles of Macro Design 2, How to Write Seemingly Unhygienic and Referentially

Taming Macros This overall goal of this paper is to provide a new way of debugging macros in Scheme.

The whole point of these papers was that the hygiene condition does not mean what we thought it meant

On Tue, May 28, 2013 at 10:46 PM, Noonan <noon...@gmail.com> wrote: > Summary: First, we

Title: How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Summary:

What the paper was about This paper begins by discussing how Scheme at this point in time was