- 2002-06-01 (08:26) Re: [Caml-list] recursive type declaration
- 2002-06-01 (08:37) Re: [Caml-list] about Obj.magic
- 2002-06-01 (12:13) Re: [Caml-list] about Obj.magic
- 2002-06-01 (16:00) Re: [Caml-list] about Obj.magic
- 2002-06-01 (16:25) [Caml-list] Robocup in OCaml?
- 2002-06-01 (17:21) Re: [Caml-list] about Obj.magic
- 2002-06-01 (17:44) Re: [Caml-list] about Obj.magic
- 2002-06-01 (21:00) Re: [Caml-list] Robocup in OCaml?
- 2002-06-02 (09:08) Re: [Caml-list] recursive type declaration
- 2002-06-02 (15:16) Re: [Caml-list] about Obj.magic
- 2002-06-03 (06:49) [Caml-list] /usr/lib/ocaml/camlp4/pa_*.cmo
- 2002-06-03 (07:03) Re: [Caml-list] Hashtbl iter semantics
- 2002-06-03 (07:09) Re: [Caml-list] /usr/lib/ocaml/camlp4/pa_*.cmo
- 2002-06-03 (09:35) [Caml-list] Apache ocaml_mod?
- 2002-06-03 (15:30) Re: [Caml-list] Apache ocaml_mod?
- 2002-06-03 (16:45) [Caml-list] OCaml SPARC asm compiler implementation question
- 2002-06-03 (17:07) Re: [Caml-list] Hashtbl iter semantics
- 2002-06-03 (17:14) [Caml-list] Signal analysis
- 2002-06-03 (17:37) Re: [Caml-list] Signal analysis
- 2002-06-03 (18:23) Re: [Caml-list] Signal analysis
- 2002-06-03 (18:40) Re: [Caml-list] Signal analysis
- 2002-06-03 (18:56) Re: [Caml-list] What about polymorphic methods?
- 2002-06-04 (06:01) Re: [Caml-list] What about polymorphic methods?
- 2002-06-04 (09:58) Re: [Caml-list] OCaml SPARC asm compiler implementation question
- 2002-06-04 (10:22) Re: [Caml-list] about Obj.magic
- 2002-06-04 (13:25) RE: [Caml-list] signal processing in ocaml
- 2002-06-04 (13:58) Re: [Caml-list] Signal analysis
- 2002-06-04 (16:19) [Caml-list] PXP
- 2002-06-04 (16:28) [Caml-list] CamlIDL documentation and COM issues
- 2002-06-04 (17:25) Re: [Caml-list] CamlIDL documentation and COM issues
- 2002-06-04 (19:55) Re: [Caml-list] PXP
- 2002-06-04 (20:43) Re: [Caml-list] Readline support in the toplevel loop
- 2002-06-04 (21:01) [Caml-list] Exceptions and at_exit
- 2002-06-04 (21:09) Re: [Caml-list] Exceptions and at_exit
- 2002-06-04 (22:53) Re: [Caml-list] PXP
- 2002-06-05 (12:08) [Caml-list] Problem with establish_server under Windows
- 2002-06-05 (17:18) [Caml-list] Cash 0.10
- 2002-06-05 (23:48) [Caml-list] camlimages and kernel memory
- 2002-06-06 (05:26) [Caml-list] signal handling problem
- 2002-06-06 (06:26) Re: [Caml-list] Cash 0.10
- 2002-06-06 (09:37) Re: [Caml-list] Cash 0.10
- 2002-06-06 (09:57) [Caml-list] look operator
- 2002-06-06 (11:01) Re: [Caml-list] look operator
- 2002-06-06 (12:09) [Caml-list] Parametric and recursive classes and exponential typing
- 2002-06-06 (13:44) Re: [Caml-list] Parametric and recursive classes and exponential typing
- 2002-06-06 (14:13) Re: [Caml-list] Parametric and recursive classes and exponentialtyping
- 2002-06-06 (14:22) Re: [Caml-list] Parametric and recursive classes and exponential typing
- 2002-06-06 (15:11) Re: [Caml-list] look operator
- 2002-06-06 (15:43) [Caml-list] generation of COM component
- 2002-06-06 (17:04) [Caml-list] Comments on type variables
- 2002-06-06 (18:45) Re: [Caml-list] generation of COM component
- 2002-06-06 (21:08) Re: [Caml-list] camlimages and kernel memory
- 2002-06-07 (01:59) [Caml-list] unique record types
- 2002-06-07 (04:17) [Caml-list] How to build shared library?
- 2002-06-07 (07:07) Re: [Caml-list] Comments on type variables
- 2002-06-07 (07:58) Re: [Caml-list] look operator
- 2002-06-07 (09:09) Re: [Caml-list] look operator
- 2002-06-07 (09:52) [Caml-list] coercions from superclass to subclass?
- 2002-06-07 (10:12) Re: [Caml-list] coercions from superclass to subclass?
- 2002-06-07 (10:24) Re: [Caml-list] Comments on type variables
- 2002-06-07 (10:47) Re: [Caml-list] coercions from superclass to subclass?
- 2002-06-07 (11:31) [Caml-list] How to build shared library?
- 2002-06-07 (13:54) Re: [Caml-list] look operator
- 2002-06-08 (09:46) Re: [Caml-list] What about polymorphic methods
- 2002-06-08 (11:19) Re: [Caml-list] look operator
- 2002-06-08 (13:36) Re: [Caml-list] camlimages and kernel memory
- 2002-06-08 (14:26) [Caml-list] Compiler killer code?
- 2002-06-08 (14:34) Re: [Caml-list] Compiler killer code?
- 2002-06-08 (15:05) [Caml-list] F#
- 2002-06-08 (15:57) Re: [Caml-list] CamlIDL documentation and COM issues
- 2002-06-08 (16:01) Re: [Caml-list] F#
- 2002-06-08 (18:30) Re: [Caml-list] Compiler killer code?
- 2002-06-08 (19:25) Re: [Caml-list] CamlIDL documentation and COM issues
- 2002-06-08 (20:56) [Caml-list] Announcement: findlib-0.7
- 2002-06-08 (23:04) RE: [Caml-list] F#
- 2002-06-09 (01:38) RE: [Caml-list] F#
- 2002-06-09 (12:27) RE: [Caml-list] F#
- 2002-06-09 (13:23) Re: [Caml-list] Compiler killer code?
- 2002-06-09 (13:41) Re: [Caml-list] Compiler killer code?
- 2002-06-09 (14:49) Re: [Caml-list] How to build shared library?
- 2002-06-09 (17:04) O'Caml, JVM, and .NET (was Re: [Caml-list] F#)
- 2002-06-09 (17:30) Re: [Caml-list] Comments on type variables
- 2002-06-09 (17:53) RE: [Caml-list] F#
- 2002-06-09 (18:08) Re: [Caml-list] Compiler killer code?
- 2002-06-10 (02:42) Re: [Caml-list] Compiler killer code?
- 2002-06-10 (05:36) [Caml-list] Timing Ocaml
- 2002-06-10 (06:28) Re: [Caml-list] Timing Ocaml
- 2002-06-10 (07:42) Re: [Caml-list] Compiler killer code?
- 2002-06-10 (10:15) Re: [Caml-list] What about polymorphic methods
- 2002-06-10 (12:05) Re: [Caml-list] Timing Ocaml
- 2002-06-10 (12:50) Re: [Caml-list] Timing Ocaml
- 2002-06-10 (14:04) RE: [Caml-list] F#
- 2002-06-10 (14:19) RE: [Caml-list] Timing Ocaml
- 2002-06-10 (14:27) [Caml-list] Catching exceptions into strings
- 2002-06-10 (15:01) Re: [Caml-list] Timing Ocaml
- 2002-06-10 (15:25) Re: [Caml-list] Compiler killer code?
- 2002-06-10 (16:35) Re: [Caml-list] Timing Ocaml
- 2002-06-10 (16:49) RE: [Caml-list] Timing Ocaml
- 2002-06-10 (18:19) Re: [Caml-list] Timing Ocaml
- 2002-06-10 (20:04) [Caml-list] Status of callback_exn bug
- 2002-06-11 (08:35) Re: [Caml-list] Timing Ocaml
- 2002-06-11 (08:50) [Caml-list] mutable Vs non mutable
- 2002-06-11 (09:01) [Caml-list] mutable Vs non mutable
- 2002-06-11 (09:08) Re: [Caml-list] Timing Ocaml
- 2002-06-11 (09:13) [Caml-list] debugging hints and camlp4 macros
- 2002-06-11 (09:23) Re: [Caml-list] Catching exceptions into strings
- 2002-06-11 (09:23) Re: [Caml-list] Timing Ocaml
- 2002-06-11 (12:52) RE: [Caml-list] Timing Ocaml
- 2002-06-11 (13:09) Re: [Caml-list] Comments on type variables
- 2002-06-11 (13:28) Re: [Caml-list] Catching exceptions into strings
- 2002-06-11 (13:37) [Caml-list] Marshal!!
- 2002-06-11 (14:29) [Caml-list] Unix.file_descr -> int ???
- 2002-06-11 (15:37) Re: [Caml-list] Catching exceptions into strings
- 2002-06-11 (15:40) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-11 (15:45) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-11 (16:40) [Caml-list] STRANGE!!!
- 2002-06-11 (17:11) Re: [Caml-list] STRANGE!!!
- 2002-06-11 (17:45) Re: [Caml-list] Catching exceptions into strings
- 2002-06-11 (19:28) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-11 (23:13) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (00:10) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (07:43) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (07:49) Ocaml debugging (Was [Caml-list] Unix.file_descr -> int ???)
- 2002-06-12 (07:59) Re: [Caml-list] F#
- 2002-06-12 (08:00) [Caml-list] Re: Compiler killer code?
- 2002-06-12 (08:08) Re: [Caml-list] Catching exceptions into strings
- 2002-06-12 (08:08) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (08:10) Re: [Caml-list] Catching exceptions into strings
- 2002-06-12 (08:16) Re: [Caml-list] Catching exceptions into strings
- 2002-06-12 (08:21) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (08:33) Re: [Caml-list] Catching exceptions into strings
- 2002-06-12 (08:38) Re: [Caml-list] Re: Compiler killer code?
- 2002-06-12 (09:53) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (09:57) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (11:04) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (11:20) Re: Ocaml debugging (Was [Caml-list] Unix.file_descr -> int ???)
- 2002-06-12 (13:09) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (13:18) [Caml-list] Sending message to Http_client
- 2002-06-12 (14:43) [Caml-list] something like extern!!
- 2002-06-12 (14:54) Re: [Caml-list] something like extern!!
- 2002-06-12 (15:27) Re: [Caml-list] Catching exceptions into strings
- 2002-06-12 (15:27) Re: [Caml-list] Catching exceptions into strings
- 2002-06-12 (15:44) [Caml-list] Marshal.**_channel vs Pervasives.**_value
- 2002-06-12 (15:45) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (16:07) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-12 (16:20) Re: [Caml-list] camlimages and kernel memory
- 2002-06-12 (17:03) [Caml-list] Re: F#
- 2002-06-12 (18:09) Re: [Caml-list] camlimages and kernel memory
- 2002-06-12 (21:31) [Caml-list] double-functors for types and values
- 2002-06-12 (22:05) [Caml-list] compile problem
- 2002-06-12 (23:33) Re: [Caml-list] Sending message to Http_client
- 2002-06-13 (06:58) Re: [Caml-list] debugging hints and camlp4 macros
- 2002-06-13 (07:06) Re: [Caml-list] double-functors for types and values
- 2002-06-13 (07:12) Re: [Caml-list] compile problem
- 2002-06-13 (10:12) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-13 (12:42) [Caml-list] LSM speech ?
- 2002-06-13 (15:36) Re: [Caml-list] double-functors for types and values
- 2002-06-13 (15:48) [Caml-list] Findlib on Cygwin can't find packages
- 2002-06-13 (20:57) Re: [Caml-list] OCaml packaging problems
- 2002-06-13 (20:57) [Caml-list] OCaml packaging problem resurrection: a "name"'s required
- 2002-06-14 (04:30) [Caml-list] findlib + depencencies
- 2002-06-14 (12:25) Re: [Caml-list] findlib + depencencies
- 2002-06-14 (13:32) Re: [Caml-list] findlib + depencencies
- 2002-06-14 (15:05) Re: [Caml-list] compile problem
- 2002-06-14 (15:30) Re: [Caml-list] compile problem
- 2002-06-14 (17:08) [Caml-list] static variables in a function
- 2002-06-14 (17:40) Re: [Caml-list] static variables in a function
- 2002-06-14 (17:58) Re: [Caml-list] static variables in a function
- 2002-06-14 (18:48) Re: [Caml-list] compile problem
- 2002-06-14 (19:26) [Caml-list] French interactive fiction, anyone ?
- 2002-06-14 (19:38) Re: [Caml-list] compile problem
- 2002-06-14 (20:43) Re: [Caml-list] static variables in a function
- 2002-06-14 (20:59) Re: [Caml-list] compile problem
- 2002-06-14 (21:08) Re: [Caml-list] compile problem
- 2002-06-14 (21:23) Re: [Caml-list] Catching exceptions into strings
- 2002-06-15 (05:15) Re: [Caml-list] static variables in a function
- 2002-06-15 (06:30) Re: [Caml-list] static variables in a function
- 2002-06-15 (14:55) Re: [Caml-list] static variables in a function
- 2002-06-15 (16:08) Re: [Caml-list] static variables in a function
- 2002-06-15 (19:21) Re: [Caml-list] static variables in a function
- 2002-06-15 (23:11) Re: [Caml-list] static variables in a function
- 2002-06-16 (23:20) Re: [Caml-list] static variables in a function
- 2002-06-17 (01:04) [Caml-list] Problem with Graph module
- 2002-06-17 (09:35) [Caml-list] C <-> OCaml questions
- 2002-06-17 (12:31) Re: [Caml-list] Catching exceptions into strings
- 2002-06-17 (13:23) [no subject]
- 2002-06-17 (14:06) Re: [Caml-list] Catching exceptions into strings
- 2002-06-17 (14:07) [Caml-list] Memoizing (was: static variables...)
- 2002-06-17 (14:47) [Caml-list] Camlp4: varargs ie a la Printf
- 2002-06-17 (14:59) Re: [Caml-list] Camlp4: varargs ie a la Printf
- 2002-06-17 (15:45) Re: [Caml-list] C <-> OCaml questions
- 2002-06-17 (16:10) Re: [Caml-list] Catching exceptions into strings
- 2002-06-17 (16:20) Re: [Caml-list] Camlp4: varargs ie a la Printf
- 2002-06-17 (17:38) [Caml-list] Re:
- 2002-06-17 (19:38) Re: [Caml-list] C <-> OCaml questions
- 2002-06-17 (21:18) Re: [Caml-list] Catching exceptions into strings
- 2002-06-17 (21:38) [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-18 (06:00) [Caml-list] weird bugs with lablgl
- 2002-06-18 (06:27) Re: [Caml-list] Camlp4: varargs ie a la Printf
- 2002-06-18 (06:58) Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-18 (07:15) Re: [Caml-list] French interactive fiction, anyone ?
- 2002-06-18 (08:40) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-18 (09:26) [Caml-list] version of Ocaml...
- 2002-06-18 (09:48) [Caml-list] Re: Problem with Graph module
- 2002-06-18 (10:06) [Caml-list] SAX XML parser
- 2002-06-18 (11:37) Re: [Caml-list] version of Ocaml...
- 2002-06-18 (12:02) [Caml-list] interface C and OCaml
- 2002-06-18 (12:58) Re: [Caml-list] interface C and OCaml
- 2002-06-18 (12:57) Re: [Caml-list] OCaml packaging problems
- 2002-06-18 (13:07) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-18 (13:27) [Caml-list] Dynlink and unit access grant
- 2002-06-18 (13:33) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-18 (13:34) [Caml-list] Ocaml tracing (with Camlp4)
- 2002-06-18 (14:05) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-18 (15:33) [Caml-list] Cameleon 0.4
- 2002-06-18 (15:33) [Caml-list] DBForge 0.4
- 2002-06-18 (16:53) [Caml-list] Re: Problem with Graph module
- 2002-06-18 (17:36) [Caml-list] MacOSX compile problems
- 2002-06-18 (17:52) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-18 (19:05) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-18 (19:05) Re: [Caml-list] version of Ocaml...
- 2002-06-18 (19:10) Re: [Caml-list] OCaml packaging problems
- 2002-06-18 (19:13) Re: [Caml-list] weird bugs with lablgl
- 2002-06-18 (19:30) Re: [Caml-list] weird bugs with lablgl
- 2002-06-18 (20:04) Re: [Caml-list] OCaml packaging problems
- 2002-06-18 (21:52) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-18 (22:35) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-18 (23:13) Re: [Caml-list] Re: Problem with Graph module
- 2002-06-19 (04:39) Re: [Caml-list] static variables in a function
- 2002-06-19 (08:39) Re: [Caml-list] OCaml packaging problems
- 2002-06-19 (08:39) Re: [Caml-list] weird bugs with lablgl
- 2002-06-19 (09:56) [Caml-list] probleme de liste
- 2002-06-19 (10:44) Re: [Caml-list] probleme de liste
- 2002-06-19 (11:09) Re: [Caml-list] OCaml packaging problems
- 2002-06-19 (12:26) Re: [Caml-list] probleme de liste
- 2002-06-19 (14:43) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-19 (14:53) Re: [Caml-list] version of Ocaml...
- 2002-06-19 (14:55) [Caml-list] List.sort
- 2002-06-19 (15:15) Re: [Caml-list] List.sort
- 2002-06-19 (15:20) Re: [Caml-list] List.sort
- 2002-06-19 (15:24) Re: [Caml-list] List.sort
- 2002-06-19 (15:34) Re: [Caml-list] List.sort
- 2002-06-19 (15:56) Re: [Caml-list] Cameleon 0.4
- 2002-06-19 (15:57) Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-19 (17:22) Re: [Caml-list] List.sort
- 2002-06-19 (17:37) [Caml-list] probleme de liste
- 2002-06-20 (05:09) Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-20 (06:52) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (07:15) Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-20 (07:42) Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-20 (08:15) Re: [Caml-list] MacOSX compile problems
- 2002-06-20 (09:31) Re: [Caml-list] List.sort
- 2002-06-20 (11:05) [Caml-list] access to a module
- 2002-06-20 (11:23) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (11:52) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (12:25) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (13:08) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (13:23) RE: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (14:39) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (14:39) Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-20 (16:17) Re: [Caml-list] Unix.file_descr -> int ???
- 2002-06-20 (18:17) [Caml-list] printf arguments
- 2002-06-21 (07:44) Re: [Caml-list] Cameleon 0.4
- 2002-06-21 (09:09) Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
- 2002-06-21 (12:11) Re: [Caml-list] printf arguments
- 2002-06-21 (17:54) Re: [Caml-list] infix precedence
- 2002-06-21 (19:33) [Caml-list] proposal for library
- 2002-06-22 (11:59) Re: [Caml-list] proposal for library
- 2002-06-23 (21:18) Re: [Caml-list] Memoizing (was: static variables...)
- 2002-06-24 (08:52) [Caml-list] PXP
- 2002-06-24 (09:06) Re: [Caml-list] PXP
- 2002-06-24 (09:14) Re: [Caml-list] PXP
- 2002-06-24 (09:17) Re: [Caml-list] PXP
- 2002-06-24 (13:53) [Caml-list] Recursive classes are impossible?
- 2002-06-24 (21:34) Re: [Caml-list] Recursive classes are impossible?
- 2002-06-24 (23:53) Re: [Caml-list] Recursive classes are impossible?
- 2002-06-25 (02:44) [Caml-list] subtyping and inheritance (bug?)
- 2002-06-25 (02:54) Re: [Caml-list] subtyping and inheritance (bug?)
- 2002-06-25 (12:28) Re: [Caml-list] subtyping and inheritance (bug?)
- 2002-06-25 (21:35) Re: [Caml-list] subtyping and inheritance (bug?)
- 2002-06-25 (23:42) Re: [Caml-list] Recursive classes are impossible?
- 2002-06-26 (02:37) Re: [Caml-list] Recursive classes are impossible?
- 2002-06-26 (15:02) [Caml-list] printf hook
- 2002-06-26 (15:31) Re: [Caml-list] printf hook
- 2002-06-26 (15:48) Re: [Caml-list] printf hook
- 2002-06-26 (16:32) Re: [Caml-list] printf hook
- 2002-06-26 (16:47) Re: [Caml-list] printf hook
- 2002-06-26 (17:16) [Caml-list] Exported Types
- 2002-06-27 (06:45) Re: [Caml-list] Exported Types
- 2002-06-28 (13:14) [Caml-list] nonblocking I/O - using channels or Unix.file_descr ?
- 2002-06-28 (13:34) Re: [Caml-list] nonblocking I/O - using channels or Unix.file_descr ?
- 2002-06-28 (19:39) [Caml-list] Removing an element from a list
- 2002-06-28 (19:53) RE: [Caml-list] Removing an element from a list
- 2002-06-28 (20:03) Re: [Caml-list] Removing an element from a list
- 2002-06-29 (01:06) [Caml-list] Objects or modules ?
- 2002-06-29 (06:54) Re: [Caml-list] Objects or modules ?
- 2002-06-29 (10:23) Re: [Caml-list] Objects or modules ?
- 2002-06-29 (12:39) [Caml-list] debugger questions/feature requests
- 2002-06-30 (06:45) Re: [Caml-list] Objects or modules ?
- 2002-06-30 (17:25) [Caml-list] ocamllex -- ambiguous regex
- 2002-06-30 (17:27) [Caml-list] Manual broken -- set
- 2002-06-30 (17:41) RE: [Caml-list] debugger questions/feature requests
- 2002-06-30 (21:09) [Caml-list] Gdkpixbuf
- 2002-06-30 (21:09) [Caml-list] Research Job: Compositional Analysis & Reasoning for Software Systems @ Heriot-Watt U., Scotland, UK