links · people · groups · tags | My: links · tags · groups · watchlists · notes login · sign up now! | help · blog
Simpy simpy
 
Arnould Brice, member since Jan 20, 2007
.
Search Everyone: "scheme",

Top "scheme" experts: pablomarx, davidlittllefair, dmj111, vijucat, simpydan, airpocket,

Groups about "scheme": Car Insurance, Panama City Real Estate ,

1 - 10 of 14 next »   Watch brice
 
Marc showed us how to write a simple Scheme to C compiler, in Scheme. In only 90 minutes! And although not supporting the whole Scheme standard, the compiler supports fully optimized proper tail calls, continuations, and (of course) full closures. The compiler is implemented using two important compilation techniques for functional languages: closure conversion and CPS-conversion.
by brice 2008-07-30 02:45 cs · lang:en · scheme · compiler · tutorial
http://community.schemewiki.org/?90min-scheme2c - cached - mail it - history
BitC is a systems programming language that combines the ``low level'' nature of C with the semantic rigor of Scheme or ML. BitC was designed by careful selection and exclusion of language features in order to support proving properties (up to and including total correctness) of critical systems programs.
by brice 2007-07-12 22:16 os · functional · cs · scheme · compiler
http://www.bitc-lang.org/docs/bitc/spec.html - cached - mail it - history
This document describes the compilation process used by the CHICKEN Scheme to C compiler by explaining the different compilation stages on a simple example program.
by brice 2007-06-09 18:32 scheme · compiler · functional · examples
http://chicken.wiki.br/chicken-compilation-process - cached - mail it - history
Tail-recursive schemy iteration is too low-level and, according to Olin, a higher-level abstraction hiding details and providing a modular interface and proper lexical scope is called for. In his presentation, he outlines his solution to this problem, which, as you will see, amounts to defining a looping domain-specific language (actually, a couple of them).
by brice 2007-02-26 17:42 scheme · papers
http://jaortega.wordpress.com/2007/02/25/scheme-loops/ - cached - mail it - history
The gap between real-life compilers and the educational toy compilers is too wide. The novice compiler writer stands puzzled facing an impenetrable barrier, “better write an interpreter instead.” The goal of this paper is to break that barrier.
by brice 2007-02-17 14:36 scheme · compiler · cs · tutorial
http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf - cached - mail it - history
This library is intended for developers who wish to manipulate (read, parse, modify, and create) symbolic expressions from C or C++ programs. Maybe an alternative to XML.
by brice 2007-01-22 07:53 library · development · c · scheme
http://sexpr.sourceforge.net/ - cached - mail it - history
This tutorial takes a different tack. You'll start off with command-line arguments and parsing, and progress to writing a fully-functional Scheme interpreter that implements a good-sized subset of R5RS Scheme. Along the way, you'll learn Haskell's I/O, mutable state, dynamic typing, error handling, and parsing features. By the time you finish, you should be fairly fluent in both Haskell and Scheme.
by brice 2007-01-22 07:51 compiler · scheme · haskell
http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html - cached - mail it - history
BitC is a systems programming language that combines the ``low level'' nature of C with the semantic rigor of Scheme or ML. BitC was designed by careful selection and exclusion of language features in order to support proving properties (up to and including total correctness) of critical systems programs.
by brice 2007-01-22 04:35 os · functional · cs · scheme · compiler
http://www.coyotos.org/docs/bitc/spec.html - cached - mail it - history
Scheme: R6RS drafts
by brice 2007-01-22 03:54 functional · development · scheme
http://www.r6rs.org/ - cached - mail it - history
This will be an introduction to monads from a Lisp/Scheme perspective, with the assumption that the reader is comfortable with continuations, CPS, accumulators, and accumulator-passing style.
by brice 2007-01-22 03:21 practical · monads · functional · scheme
http://www.ccs.neu.edu/home/dherman/research/tutorials/monads-for-schemers.txt - cached - mail it - history
1 - 10 of 14 next »  
Related Tags
 
- exclude ~ optional + require
Add Dates