[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [moca] Combinators i Have Known And Loved

To: Ilaria.Castellani@xxxxxxxxxxxxxxx, moca@xxxxxxxxxxxxxxx
Subject: Re: [moca] Combinators i Have Known And Loved
From: Martin Berger <martinb@xxxxxxxxxxxxxx>
Date: Fri, 01 Aug 2003 12:46:13 +0100
In-reply-to: <1059737693.3f2a505d7216a@www-sop.inria.fr>
List-help: <mailto:sympa@lists-sop.inria.fr?subject=help>
List-id: <moca.lists-sop.inria.fr>
List-owner: <mailto:moca-request@lists-sop.inria.fr>
List-post: <mailto:moca@lists-sop.inria.fr>
List-subscribe: <mailto:sympa@lists-sop.inria.fr?subject=subscribe%20moca>
List-unsubscribe: <mailto:sympa@lists-sop.inria.fr?subject=unsubscribe%20moca>
References: <E19dqR2-0003ZY-00@wisbech.cl.cam.ac.uk> <3F1E7740.1010403@dcs.qmul.ac.uk> <3F1EF853.653EB0A1@docs.uu.se> <1059737693.3f2a505d7216a@www-sop.inria.fr>
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624

> having specification constructs in the language is a way to "introduce

semantics into syntax".


this sounds interesting. could you please flesh out this statement a bit
more?

martin

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The "models for mobility" mailing list mailto:moca@xxxxxxxxxxxxxxx http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html

References:
- [moca] Memo on bigraphs
  - From: Robin Milner
- [moca] Combinators i Have Known And Loved
  - From: Martin Berger
- Re: [moca] Combinators i Have Known And Loved
  - From: Joachim Parrow
- Re: [moca] Combinators i Have Known And Loved
  - From: Ilaria . Castellani

Prev by Date: [moca] shooting from the hip: Mobility FAQ ?
Next by Date: Re: [moca] shooting from the hip: Mobility FAQ ?
Previous by thread: Re: [moca] Combinators i Have Known And Loved
Next by thread: [moca] Mobility FAQ ?
Index(es):
- Date
- Thread