https://www.youtube.com/watch?v=EZD3Scuv02g
The talker is Guy Steele, you may know him from his work on Scheme, Common Lisp, Java. Fortress in a lot of ways is similar to Spad, has similar things of Spad's Category. Some aspects of Fortress is even more strict than Spad. There's also some algebra example in the slideshow. Many interesting things in the video, I would say Fortress and Spad shares the same spirit. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.