From: Felix Winkelmann <felix@proxima-mt.de>
To: skaller@users.sourceforge.net
Cc: Fermin Reig <fermin.reig@Cs.Nott.AC.UK>, caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] Automatic wrapper generator
Date: Tue, 18 May 2004 12:57:58 +0200 [thread overview]
Message-ID: <40A9EC36.3090903@proxima-mt.de> (raw)
In-Reply-To: <1084876957.19838.460.camel@pelican.wigram>
skaller wrote:
> On Tue, 2004-05-18 at 19:38, Fermin Reig wrote:
>
>>On Tue, 2004-05-18 at 09:38, skaller wrote:
>>
>>>This is a brief status report concerning the Felix
>>>automatic wrapper generator
>>
>>[...]
>>
>>>Any comments appreciated.
>>
>>You might want to read this paper:
>>
>>No-Longer-Foreign: Teaching an ML compiler to speak C natively
>>Matthias Blume
>>Electronic Notes in Theoretical Computer Science 59 No. 1 (2001)
>>http://www.elsevier.nl/locate/entcs/volume59.html
>
>
> unfortunately that URL doesn't work for me, I get sent to
> the main search page, and can't find anything
> by Matthias Blume.
>
http://people.cs.uchicago.edu/~blume/papers/nlffi.pdf
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2004-05-18 10:58 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-18 8:38 skaller
2004-05-18 8:58 ` Richard Jones
2004-05-18 10:07 ` skaller
2004-05-18 9:06 ` Basile Starynkevitch local
2004-05-18 10:25 ` skaller
2004-05-18 12:11 ` Richard Jones
2004-05-18 17:21 ` Michael Hamburg
2004-05-18 18:34 ` skaller
2004-05-18 19:27 ` Richard Jones
2004-05-18 20:52 ` skaller
2004-05-18 20:02 ` Gerd Stolpmann
2004-05-18 20:10 ` [Caml-list] Functional critical section SWAMPY
2004-05-18 20:31 ` Kenneth Knowles
2004-05-18 20:39 ` Evan Martin
2004-05-19 7:35 ` thornber
2004-05-19 7:33 ` thornber
2004-05-18 9:25 ` [Caml-list] Automatic wrapper generator Olivier Andrieu
2004-05-18 10:36 ` skaller
2004-05-18 9:38 ` Fermin Reig
2004-05-18 10:42 ` skaller
2004-05-18 10:57 ` Felix Winkelmann [this message]
2004-05-18 10:58 ` John Chu
2004-05-18 11:33 ` skaller
2004-05-22 10:09 ` Marcin 'Qrczak' Kowalczyk
2004-05-22 13:13 ` skaller
2004-05-22 14:19 ` Marcin 'Qrczak' Kowalczyk
2004-05-22 16:14 ` skaller
2004-05-23 10:58 ` Marcin 'Qrczak' Kowalczyk
2004-05-23 19:59 ` skaller
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=40A9EC36.3090903@proxima-mt.de \
--to=felix@proxima-mt.de \
--cc=caml-list@inria.fr \
--cc=fermin.reig@Cs.Nott.AC.UK \
--cc=skaller@users.sourceforge.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox