http://pleiad.cl/ 2026-05-06T09:14:12+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2014-05-26T00:17:19+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/research/software/gradualtalk/cgt Confined Gradual Typing: Benchmarks The benchmarks used in the paper “Confined Gradual Typing” can be downloaded here: [OOPSLA paper benchmark suite]. This file also include example images for SCGT and RCGT. For instructions on how to use these benchmarks and examples, please continue reading this page or read the included text/html 2014-06-09T15:06:05+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/research/software/gradualtalk/ggt Confined Gradual Typing: Benchmarks You probably want to be here: CGT text/html 2013-06-11T17:55:31+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/research/software/gradualtalk/strategies Cast Insertion Strategies: Benchmarks The benchmarks used in the paper “Cast Insertion Strategies for Gradually-Typed Objects” can be downloaded here: [DLS paper benchmark suite]. For instructions on how to use these benchmarks, please read the included readme.txt. The benchmark suite is ready to run in a Linux machine. To run in another