BRINGING SOFTWARE TO LIFE ®

Home

NEW:   Biosimilarity is hiring!  We are looking for a senior back end engineer with experience in language design and comfortable working with mathematical formalism in the communication of specifications and designs.  Period for applications closing soon.


NEW:   Artima Press has announced the Early Access Program for Greg's  book, Monadic Design Patterns for the Web!


MSDN Channel 9: Greg Meredith Monadic Design Patterns for the Web 4 of n





Premier Bespoke Software Systems. End to End Web Solutions. Mathematical Modeling. Scientific Consulting.


Since 2006 Biosimilarity, LLC has consistently delivered premier software applications, end to end web solutions and state of the art analytical models. We offer consulting services, web development and migration solutions and training on Monadic Design Patterns for the Web and functional programming languages such as Scala.


Monadic Design Patterns for the Web: Putting data, query and analytic in the hands of the people who use them. A revolutionary approach to search not based on “semantic web” techniques and yet results in genuine semantics-based search capability.

The Scala Programming Language: Quicker Release Cycles, Better Maintainability and Scalability

"Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages, enabling Java and other programmers to be more productive. Code sizes are typically reduced by a factor of two to three when compared to an equivalent Java application."









Bisimulation
In theoretical computer science a bisimulation is an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa.
 
Intuitively two systems are bisimilar if they match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer.