Jump to main content

yr 〜
yr

Search results 33

ML'09 : proceedings of the 2009 ACM SIGPLAN workshop on ML : co-located with: ICFP'09 : August 30, 2009 : Edinburgh, Scotland. : 2009 ACM-SIGPLAN workshop on ML : Aug 2009, Edinburgh, UK.

ML'09 : proceedings of the 2009 ACM SIGPLAN workshop on ML : co-located with: ICFP'09 : August 30, 2009 : Edinburgh, Scotland. : 2009 ACM-SIGPLAN workshop on ML : Aug 2009, Edinburgh, UK.
Paper図書
Association for Computing Machineryc2009.<M17-10-2688>
National Diet Library
  • Subject HeadingML (Computer program language) -- Congresses. Computer progr...

ACM SIGPLAN workshop on ML : ML'06 : September 16, 2006 : Portland, Oregon, USA. : Sep 2006, Portland, OR.

ACM SIGPLAN workshop on ML : ML'06 : September 16, 2006 : Portland, Oregon, USA. : Sep 2006, Portland, OR.
Paper図書
ACM[c2006]<M17-07-1805>
National Diet Library
  • Subject HeadingML (Computer program language) -- Congresses. Computer progr...

Concurrent programming in ML

Concurrent programming in ML
Paper図書
John H. ReppyCambridge University Press2007
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Parallel processing (Electron...
  • Subject Heading (ID)ML (Computer program language) Parallel processing (Electron...

The Standard ML Basis library pbk

The Standard ML Basis library pbk
Paper図書
Emden R. Gansner, John H. ReppyCambridge University Press2004
Other Libraries in Japan
  • Subject HeadingML (Computer program language)
  • Subject Heading (ID)ML (Computer program language)

Modern compiler implementation in ML : pbk.

Modern compiler implementation in ML : pbk.
Paper図書
Andrew W. AppelCambridge University Press2004
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Compilers (Computer programs)
  • Subject Heading (ID)ML (Computer program language) Compilers (Computer programs)

ML'09 : proceedings of the 2009 ACM SIGPLAN Workshop on ML, August 30, 2009, Edinburgh, Scotland

ML'09 : proceedings of the 2009 ACM SIGPLAN Workshop on ML, August 30, 2009, Edinburgh, Scotland
Paper図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2009
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Congresses Computer programmi...
  • Subject Heading (ID)ML (Computer program language) Congresses Computer programmi...

ML'08 : proceedings of the 2008 ACM SIGPLAN Workshop on ML, Victoria, British Columbia, Canada, September 21, 2008

ML'08 : proceedings of the 2008 ACM SIGPLAN Workshop on ML, Victoria, British Columbia, Canada, September 21, 2008
Paper図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2008
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Congresses Computer programmi...
  • Subject Heading (ID)ML (Computer program language) Congresses Computer programmi...

The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones. (Lecture notes in computer science ; 61)

The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones. (Lecture notes in computer science ; 61)
Paper図書
Springer-Verlag1978.<M159-77>
National Diet Library
  • Subject HeadingML (Computer program language)

ML'07 : proceedings of the 2007 Workshop on ML, Freiburg, Germany, October 5, 2007

ML'07 : proceedings of the 2007 Workshop on ML, Freiburg, Germany, October 5, 2007
Paper図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2007
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Congresses Computer programmi...
  • Subject Heading (ID)ML (Computer program language) Congresses Computer programmi...

The little MLer pbk.

The little MLer pbk.
Paper図書
Matthisa Felleisen, Daniel P. Friedman ; drawings by Duane Bibby ; foreword by Robin MilnerMIT Pressc1998
Other Libraries in Japan
  • Subject HeadingML (Computer program language)
  • Subject Heading (ID)ML (Computer program language)

Introduction to programming using SML

Introduction to programming using SML
Paper図書
Michael R. Hansen and Hans RischelAddison Wesley1999
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Computer programming
  • Subject Heading (ID)ML (Computer program language) Computer programming

ML'06 : proceedings of the ACM SIGPLAN 2006 Workshop on ML : September 16, 2006, Portland, Oregon, USA

ML'06 : proceedings of the ACM SIGPLAN 2006 Workshop on ML : September 16, 2006, Portland, Oregon, USA
Paper図書
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)ACM Pressc2006
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Congresses Computer programmi...
  • Subject Heading (ID)ML (Computer program language) Congresses Computer programmi...

Elements of ML programming : pbk ML97 ed

Elements of ML programming : pbk ML97 ed
Paper図書
Jeffrey D. UllmanPrentice Hall1998
Other Libraries in Japan
  • Subject HeadingML (Computer program language)
  • Subject Heading (ID)ML (Computer program language)

Modern compiler implementation in ML : hdk.

Modern compiler implementation in ML : hdk.
Paper図書
Andrew W. AppelCambridge University Press1998
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Compilers (Computer programs)
  • Subject Heading (ID)ML (Computer program language) Compilers (Computer programs)

The definition of standard ML : revised alk. paper

The definition of standard ML : revised alk. paper
Paper図書
Robin Milner ... [et al.]MIT Press1997
Other Libraries in Japan
  • Subject HeadingML (Computer program language)
  • Subject Heading (ID)ML (Computer program language)

Concurrent programming in ML

Concurrent programming in ML
Paper図書
John H. ReppyCambridge University Press1999
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Parallel processing (Electron...
  • Subject Heading (ID)ML (Computer program language) Parallel processing (Electron...

ML for the working programmer : pbk 2nd ed, repr. with corrections 1997

ML for the working programmer : pbk 2nd ed, repr. with corrections 1997
Paper図書
Lawrence C. PaulsonCambridge University Press1997, c1991, 1996
Other Libraries in Japan
  • Subject HeadingML (Computer program language)
  • Subject Heading (ID)ML (Computer program language)

Modern compiler implementation in ML : basic techniques : hdk. : pbk.

Modern compiler implementation in ML : basic techniques : hdk. : pbk.
Paper図書
Andrew W. AppelCambridge University Press1997
Other Libraries in Japan
  • Subject HeadingML (Computer program language) Compilers (Computer programs)
  • Subject Heading (ID)ML (Computer program language) Compilers (Computer programs)

ML for the working programmer : hardback : pbk. 2nd ed

ML for the working programmer : hardback : pbk. 2nd ed
Paper図書
Lawrence C. PaulsonCambridge University Press1996
Other Libraries in Japan
  • Subject HeadingML (Computer program language)
  • Subject Heading (ID)ML (Computer program language)

Elements of ML programming

Elements of ML programming
Paper図書
Jeffrey D. UllmanPrentice Hallc1994
Other Libraries in Japan
  • Subject HeadingML (Computer program language)
  • Subject Heading (ID)ML (Computer program language)
RSS