1
by Lee, Kent D., Lee, Kent D.
Published 2008
Table of Contents: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
View full text
Electronic eBook
2
by Lee, Kent D., Lee, Kent D.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... About Causality Analysis -- Imperative Functional Programming with Isabelle/HOL -- HOL-Boogie...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...
View full text
Electronic eBook
6
Table of Contents: ...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...
View full text
Electronic eBook
7
... function and fetal programming are imperative in defining illness risk during pregnancy. Fetal programming...
Article