Skip to main content

Publications from Our Team

Donald Fisk

Fisk, D: Keyboard? How Quaint. Visual Dataflow Implemented in Lisp. (Proceedings of the 8th European Lisp Symposium, 2015)

Fisk, D: Full Metal Jacket: A Pure Visual Dataflow Language Built on Top of Lisp (Proceeding of the International Lisp Conference, 2003)

Fisk, D: An Application of Social Filtering to Movie Recommendation (BT Technology Journal 14, No 4, October 1996)

Donald Fisk

Fisk, D: Keyboard? How Quaint. Visual Dataflow Implemented in Lisp. (Proceedings of the 8th European Lisp Symposium, 2015)

Fisk, D: Full Metal Jacket: A Pure Visual Dataflow Language Built on Top of Lisp (Proceeding of the International Lisp Conference, 2003)

Fisk, D: An Application of Social Filtering to Movie Recommendation (BT Technology Journal 14, No 4, October 1996)

Henri Lesourd

https://hal.science/hal-01368557v1/file/whitepaper.pdf

The implementation of the Hammurabi system: indexing and interprocess communication

Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd. Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor , In David Aspinall and Christoph Lüth (Ed) Proceedings of UITP’05, ENTCS, January, 2006.
http://www.informatik.uni-bremen.de/~autexier/pub/uitp05-entcs.pdf

Wagner M., Lesourd H.: Using TeXmacs in Math Education: An exploratory Study , in Proceedings of the 2008 Mathematical User-Interface Workshop, Birmingham, UK, 2008.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.509.3562&rep=rep &type=pdf

Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, Magdalena Wolska. DiaWOz-II – A Tool for Wizard-of-Oz Experiments in Mathematics, In KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006.
http://page.mi.fu-berlin.de/cbenzmueller/papers/C22.pdf

Intergeo was a collaborative software for sharing educational resources in Geometry over the Internet, based on standards, and implemented in a client-server fashion, around the concept of “assets”, which are things like geometry exercises, diagrams, etc., plus the metadata that enables indexing them in an efficient manner.

The system has been put to real use, and fostered a vibrant community of enthusiastic teachers that lasted several years ; it is described, e.g. in:

Ulrich Kortenkamp. Interoperable Interactive Geometry for Europe, In The Electronic Journal of Mathematics and Technology, Volume 5, Number 1, 2011.
http://ptjp.dzlm.de/sites/default/files/Kortenkamp-IIGE-2011c.pdf

Documentation for the TexMacs software
http://www.texmacs.org/tmweb/documents/tutorials/TeXmacs-graphics-tutorial.pdf

Henri Lesourd

https://hal.science/hal-01368557v1/file/whitepaper.pdf

The implementation of the Hammurabi system: indexing and interprocess communication

Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd. Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor , In David Aspinall and Christoph Lüth (Ed) Proceedings of UITP’05, ENTCS, January, 2006.
http://www.informatik.uni-bremen.de/~autexier/pub/uitp05-entcs.pdf

Wagner M., Lesourd H.: Using TeXmacs in Math Education: An exploratory Study , in Proceedings of the 2008 Mathematical User-Interface Workshop, Birmingham, UK, 2008.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.509.3562&rep=rep &type=pdf

Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, Magdalena Wolska. DiaWOz-II – A Tool for Wizard-of-Oz Experiments in Mathematics, In KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006.
http://page.mi.fu-berlin.de/cbenzmueller/papers/C22.pdf

Intergeo was a collaborative software for sharing educational resources in Geometry over the Internet, based on standards, and implemented in a client-server fashion, around the concept of “assets”, which are things like geometry exercises, diagrams, etc., plus the metadata that enables indexing them in an efficient manner.

The system has been put to real use, and fostered a vibrant community of enthusiastic teachers that lasted several years ; it is described, e.g. in:

Ulrich Kortenkamp. Interoperable Interactive Geometry for Europe, In The Electronic Journal of Mathematics and Technology, Volume 5, Number 1, 2011.
http://ptjp.dzlm.de/sites/default/files/Kortenkamp-IIGE-2011c.pdf

Documentation for the TexMacs software
http://www.texmacs.org/tmweb/documents/tutorials/TeXmacs-graphics-tutorial.pdf

François-René Rideau

François-René Rideau, “Simple Formally Verified DApps—and not just Smart Contracts”, EthCC[3], 2020.

François-René Rideau, Glow Whitepaper”, January 2020.

François-René Rideau et al., Durabo: Unstoppable Message Feeds, 2021

François-René Rideau et al., AVOUM: Account View On-top-of UTXO Model, 2021

Jay McCarthy and François-René Rideau, “Alacrity: A DSL for Simple, Formally-Verified DApps”, October 2019 (a variant of this paper was presented by Jay McCarthy at DevCon5)

François-René Rideau et al., “Alacris Whitepaper”, July 2019 (first draft completed, never released), also focused on scaling, though with many of the ideas of the language.

François-René Rideau, “Composing Contracts without Special Provisions — using Blockchain History”, Hackernoon, April 2019.

François-René Rideau, “Language Abstraction for Verifiable Blockchain Distributed Applications”, April 2019 (with video from IOHK Summit 2019)

François-René Rideau, “Why Developing on Blockchain is Hard—Part 2: Computing Proper Collateral”. Hackernoon, March 2019.

François-René Rideau, “Why Developing on Blockchain is Hard—Part 1: Posting Transactions”. Hackernoon, December 2018.

François-René Rideau, Binding Blockchains Together With Accountability Through Computability Logic, June 2018 (with video from LambdaConf 2018)

François-René Rideau, “Legicash FaCTS: Fast Cryptocurrency Transactions, Securely”, our original Whitepaper, released March 2018. It focused on a scaling solution that we may some day implement. Some of the underlying ideas included foundations for the techniques used in Glow.

François-René Rideau, Legicash: Binding Blockchains Together through Smart Law, January 2018 (draft, never completed, never released), a document that is difficult to read, with plenty of technical ideas that explore the power and the limits of the analogy between legal contracts and smart contracts.

François-René Rideau, “Climbing Up the Semantic Tower — at Runtime”, Off the Beaten Track Workshop at POPL 2018.

François-René Rideau, “From Software Creationism to Software Evolutionism”, Salon des Refusés, 2017.

Robert Goldman, Elias Pipping, and François-René Rideau, “Delivering Common Lisp Applications with ASDF 3.3”, European Lisp Symposium, 2017.

James Y. Knight, François-René Rideau, and Andrzej Walczak, “Building Common Lisp programs using Bazel”, European Lisp Symposium, 2016.

François-René Rideau, “Who Controls Your Computer? (And How to make sure it’s you)”, AltExpo 2015 at PorcFest XII.

François-René Rideau, “ASDF 3, or Why Lisp is Now an Acceptable Scripting Language”, European Lisp Symposium, 2014.

François-René Rideau, “LIL: CLOS reaches higher-order, sheds identity, and has a transformative experience”, International Lisp Conference, 2012.

Robert Goldman, and François-René Rideau, “Evolving ASDF: More Cooperation, Less Coordination”, International Lisp Conference, 2010.

François-René Rideau, “XCVB: an eXtensible Component Verifier and Builder for Common Lisp”, International Lisp Conference, 2009.

François-René Rideau, “Metaprogramming and Free Availability of Sources”, January 1999, originally presented in French at “Autour du Libre 1999”.

François-René Rideau, Prototype Object Programming in Gerbil Scheme, talk given on 2020-11-07 at LispNYC, videonotes.

François-René Rideau

François-René Rideau, “Simple Formally Verified DApps—and not just Smart Contracts”, EthCC[3], 2020.

François-René Rideau, Glow Whitepaper”, January 2020.

François-René Rideau et al., Durabo: Unstoppable Message Feeds, 2021

François-René Rideau et al., AVOUM: Account View On-top-of UTXO Model, 2021

Jay McCarthy and François-René Rideau, “Alacrity: A DSL for Simple, Formally-Verified DApps”, October 2019 (a variant of this paper was presented by Jay McCarthy at DevCon5)

François-René Rideau et al., “Alacris Whitepaper”, July 2019 (first draft completed, never released), also focused on scaling, though with many of the ideas of the language.

François-René Rideau, “Composing Contracts without Special Provisions — using Blockchain History”, Hackernoon, April 2019.

François-René Rideau, “Language Abstraction for Verifiable Blockchain Distributed Applications”, April 2019 (with video from IOHK Summit 2019)

François-René Rideau, “Why Developing on Blockchain is Hard—Part 2: Computing Proper Collateral”. Hackernoon, March 2019.

François-René Rideau, “Why Developing on Blockchain is Hard—Part 1: Posting Transactions”. Hackernoon, December 2018.

François-René Rideau, Binding Blockchains Together With Accountability Through Computability Logic, June 2018 (with video from LambdaConf 2018)

François-René Rideau, “Legicash FaCTS: Fast Cryptocurrency Transactions, Securely”, our original Whitepaper, released March 2018. It focused on a scaling solution that we may some day implement. Some of the underlying ideas included foundations for the techniques used in Glow.

François-René Rideau, Legicash: Binding Blockchains Together through Smart Law, January 2018 (draft, never completed, never released), a document that is difficult to read, with plenty of technical ideas that explore the power and the limits of the analogy between legal contracts and smart contracts.

François-René Rideau, “Climbing Up the Semantic Tower — at Runtime”, Off the Beaten Track Workshop at POPL 2018.

François-René Rideau, “From Software Creationism to Software Evolutionism”, Salon des Refusés, 2017.

Robert Goldman, Elias Pipping, and François-René Rideau, “Delivering Common Lisp Applications with ASDF 3.3”, European Lisp Symposium, 2017.

James Y. Knight, François-René Rideau, and Andrzej Walczak, “Building Common Lisp programs using Bazel”, European Lisp Symposium, 2016.

François-René Rideau, “Who Controls Your Computer? (And How to make sure it’s you)”, AltExpo 2015 at PorcFest XII.

François-René Rideau, “ASDF 3, or Why Lisp is Now an Acceptable Scripting Language”, European Lisp Symposium, 2014.

François-René Rideau, “LIL: CLOS reaches higher-order, sheds identity, and has a transformative experience”, International Lisp Conference, 2012.

Robert Goldman, and François-René Rideau, “Evolving ASDF: More Cooperation, Less Coordination”, International Lisp Conference, 2010.

François-René Rideau, “XCVB: an eXtensible Component Verifier and Builder for Common Lisp”, International Lisp Conference, 2009.

François-René Rideau, “Metaprogramming and Free Availability of Sources”, January 1999, originally presented in French at “Autour du Libre 1999”.

François-René Rideau, Prototype Object Programming in Gerbil Scheme, talk given on 2020-11-07 at LispNYC, videonotes.

MuKn Web3 enabling global commerce

Get In Touch

218 NW 24th Street, 2nd Floor, Miami FL 33127

Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.

Social Links

Get In Touch

218 NW 24th Street, 2nd Floor, Miami FL 33127

© Mukn 2023. All Rights Reserved