vdm-sl

vdm-sl

What is the difference between implicit and explicit in VDM-SL

From implicit to explicit function definitions

Implicit functions: currying and totality

page:1 of 1 main page

Categories

environment-variables

kotlin-multiplatform

google-cloud-composer

google-forms-api

heroku-postgres

azure-http-trigger

azure-resource-group

google-managed-prometheus

mobilefirst-cli

cllocationmanager

connected-components

json-path-expression

yaml-front-matter

jhipster-gateway

azure-cloud-shell

azure-web-roles

asp.net-identity-3

entity-framework-core-2.2

installshield-2015

firebase-notifications

amber-framework

javascript-globalize

android-5.1.1-lollipop

symbolic-computation

core-foundation

stringtokenizer

template-toolkit

biztalk-deployment

java-service-wrapper

httpcontext.cache

resource-cleanup

Resources