application of ML

Thread View: fj.lang.functional

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Takayuki Nakamura Thu, 31 Jul 1997 00:00

#47

Author: Takayuki Nakamura
Date: Thu, 31 Jul 1997 00:00

7 lines
487 bytes

ML$B$G:n$i$l$?%"%W%j%1!<%7%g%s$d!"E,MQ!JF@0U!KJ,LnEy$r(B
$B65$($F$/$@$5$$!#(B

-- 
// Takayuki Nakamura
// arumakan@ca2.so-net.or.jp

Re: application of ML

#50

Author: Shingo MATSUMOTO
Date: Mon, 04 Aug 1997 00:00

18 lines
1018 bytes


In article <5rqakc$gml@newsgate.so-net.or.jp> arumakan@ca2.so-net.or.jp (Takayuki Nakamura) writes:

 |ML$@$G(J$@:n$i$l$?%"%W%j%1!<%7%g%s$d!"E,MQ!JF@0U!KJ,LnEy$r(J
 |$@65$($F$/$@$5$$!#(J

  LCF$@!"(JHOL$@!"(JIsabelle$@Ey$NDjM}>ZL@(J$@7O$O!"(J
  ML$@$K$h$C$F=q$+$l$F$$$^$9!#(J

$@!t$H$$$&$h$j$b!"(JML$@$O!"(JLCF$@$r5-=R$9$k$?$a$N(J
$@!t%a%?8@8l(J(Meta Language)$@$G$"$C$?$N$G!"(J
$@!tF,J8;z$+$i(JML$@$HL>IU$1$i$l$?$HJ9$$$F$$$^$9!#(J

  $@$b$C$H@$4VE*$J!"B>$N1~MQ$b$"$j$=$&$G(J$@$9$,!"(J
  $@;d$OCN$j$^$;$s!#(J($@C/$+65$($F(J^^;)

$@>>K\(J

Re: application of ML

#51

Author: Shigeru Okumura 9
Date: Tue, 05 Aug 1997 00:00

21 lines
1049 bytes


http://www.cs.princeton.edu/~appel/smlnj/projects.html

$B$K$$$m$$$m=q$$$F$"$j$^$9$N$G!";29M$K$7$F$_$F$O(B
$B$$$+$,$G$7$g$&$+!#(B

$B$^$?!"(B

http://wwwfun.kurims.kyoto-u.ac.jp/

$B$3$3$K$b$*$b$7$m$$Nc$,(B
$B$"$j$^$9$N$G!"8+$F$_$F$O$$$+$,$G$7$g$&$+!#(B

$B1|B<!wEl5~EE5!Bg3X(B
--
     /\/\___/     /\/\___/     /\/\___/
    ( ^^ )  )    ( ^^ )  )    ( ^^ )  )
(*      Shigeru OKUMURA ($B1|B<(B $B<"(B)        *)
(* E-mail: shigeru@konlab.j.dendai.ac.jp *)
(*         (NeXT, MIME mail welcome)     *)

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads