[Chicken-users] [CFP] Scheme and Functional Programming Workshop 2016

2016-02-17 Thread Alex Shinn
Call For Presentations

17th Annual Scheme and Functional Programming Workshop
Nara, Japan (Co-located with ICFP 2016)
18 September 2016

http://scheme2016.snow-fort.org/



The 2016 Scheme and Functional Programming Workshop is calling for
submissions.  This year we are accepting general presentation
proposals in addition to papers.

Submissions related to Scheme, Racket, Clojure, and functional
programming are welcome and encouraged. Topics of interest include
but are not limited to:

Program-development environments, debugging, testing
Implementation (interpreters, compilers, tools, benchmarks, etc.)
Syntax, macros, hygiene
Distributed computing, concurrency, parallelism
Probabilistic computing
Interoperability with other languages, FFIs
Continuations, modules, object systems, types
Theory, formal semantics, correctness
History, evolution and standardization of Scheme
Applications, experience and industrial uses of Scheme
Education
Scheme pearls (elegant, instructive uses of Scheme)

We also welcome submissions related to dynamic or multiparadigmatic
languages and programming techniques.



Full submissions are due 24 June 2016.
Authors will be notified by 22 July 2016.
Camera-ready versions are due 15 August 2016.
Workshop is 18 September 2016.
All deadlines are 23:59 (UTC-12, "Anywhere on Earth").

Paper submissions must be in ACM proceedings format, no smaller than
9-point type (10-point type preferred). Microsoft Word and LaTeX
templates for this format are available at:
http://www.acm.org/sigs/sigplan/authorInformation.htm

Paper submissions should be in PDF and printable on US Letter, and
generally in the range of 6 to 12 pages.

Presentation submissions should include an outline of the material.
Talks are 40 minutes, including questions and answers.

More information available at: http://scheme2016.snow-fort.org/



Organizers:

Alex Shinn (General Chair)
Kathryn Gray (Program Chair)

(Apologies for duplications from cross-posting.)

-- 
Alex
___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users


Re: [Chicken-users] [ANN] sdl2 egg 0.2.0

2016-02-17 Thread Kristian Lein-Mathisen
Thanks for this great effort, John! your egg is a pleasure to use!

K.

On Sun, Feb 14, 2016 at 3:15 AM, John Croisant  wrote:

> Version 0.2.0 of the sdl2 egg is now available!
>
> The sdl2 egg provides bindings to version 2 of the SDL game development
> library. Highlights of this release include:
>
> - Support for 2D accelerated rendering (renderer and texture)
> - Support for hints (configuration variables)
> - Support for most SDL 2.0.4 features
> - Efficient color, point, and rect operations
> - Performance improvements
> - Improved integer type checking
> - Miscellaneous other changes
>
> For more details, please see the CHANGELOG:
> https://gitlab.com/chicken-sdl2/chicken-sdl2/blob/master/CHANGELOG.md
>
> Many thanks to Kooda Loutre and Kristian Lein-Mathisen for submitting
> suggestions which have been implemented in this release. :)
>
> - John Croisant
>
> ___
> Chicken-users mailing list
> Chicken-users@nongnu.org
> https://lists.nongnu.org/mailman/listinfo/chicken-users
>
___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users


Re: [Chicken-users] New Egg: miniKanren

2016-02-17 Thread Alex Silva
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Hallo,

On 16/02/16 21:30, Jeremy Steward wrote:
> 
> The latest implementation of miniKanren (found 
> https://github.com/miniKanren/miniKanren) is unfortunately both
> very different and incompatible with the language of the same name
> used in The Reasoned Schemer. Although they are both similar, there
> are some notable change s:
> 
> 1. condi no longer exists 2. conde now behaves like condi (to
> provide stronger termination guarantees) 3. else is removed as
> syntax from conde, conda, and condu 4. the latest version
> introduces disequality constraints (=/=) as well as some
> type-constraint operators (absento, numero, symbolo, booleano).
> 

Sorry for veering off-topic, but: As someone who has read the Reasoned
Schemer, how would I go about learning this improved language?

Thanks,
- -- 
- -alex
http://unendli.ch/
-BEGIN PGP SIGNATURE-
Version: GnuPG v1

iQIcBAEBAgAGBQJWxCk3AAoJED2K1tOOAcTfGO4P/2zJ16VPxpdg65o4LFYZrnOK
FROSpz0WVtz9YcedlKYBPiFguNbtIwqAgdEtb4oQ3smosyU9n4737/0fnbccRkjz
Fl+yCv9GcjzkShf/BPRdmt6x4Z9FYOJi3BwBQOc/9WtpkN4/cbXxCn61huhky788
v1kyvkgdiL+5rDd9bc3tAS8YQQ/Aw4s/fnSnsJ9SgAtvf4KRXdL+rkPcXt0jtqK5
QzpqA/0SVNmGNWs+zk9JFjd2b3tHnabcQ6OG1+TEeaPux161weNgjtrL7d5Gc7lz
xgzb44j6hCnSRIrGMsibTYvL4M5E8m/m5nFc/42OkQbURI/xvPaWyxSZQVkJv0vy
A3NR4Oy6bcu2QK90iCEIgL8bW2r+Dah3k0yJJbeb/4rtlghf+oSmItq8EK8mdX1K
MqHCDP/ReC4Yq8//s1uQa3MlNvNvosX76wUYb7oHiz6zJZy9Zt6CvM9e+Z3Vhh0D
i6EF9JQNFXNe7IcPLZJB9Voqi+A4VqnteKNSYyAFWM0JNu/kpGNpk2wUaY7Dp6f+
idZNhAcvkH/lQ1xrVLrox5V4bf1BwGbM32FomaWgDge5YxcQLNImxusHirAWE5O5
67oqTo3Hn/0qSJYBIPPIVq3/FXbe3Pm/9McLL0BRViTTWw2hzldEuLiSHVP9iqcc
kKjurIhAeZxfX9qmDz5k
=ylSd
-END PGP SIGNATURE-

___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users