@article{jouvelot:hal-00628564,
  TITLE = {{Dependent vector types for data structuring in multirate Faust}},
  AUTHOR = {Jouvelot, Pierre and Orlarey, Yann},
  URL = {https://hal-mines-paristech.archives-ouvertes.fr/hal-00628564},
  JOURNAL = {{Computer Languages, Systems and Structures}},
  PUBLISHER = {{Elsevier}},
  VOLUME = {Volume 37},
  NUMBER = {Issue 3},
  PAGES = {113-131},
  YEAR = {2011},
  MONTH = Feb,
  DOI = {10.1016/j.cl.2011.03.001},
  KEYWORDS = {Domain specific languages ; Synchronous signal processing ; Multirate computing ; Dependent type systems ; Static semantics ; Denotational semantics},
  HAL_ID = {hal-00628564},
  HAL_VERSION = {v1},
}

{"_id":"qarKoPuoNfQcEkjRk","bibbaseid":"jouvelot-orlarey-dependentvectortypesfordatastructuringinmultiratefaust-2011","author_short":["Jouvelot, P.","Orlarey, Y."],"bibdata":{"bibtype":"article","type":"article","title":"Dependent vector types for data structuring in multirate Faust","author":[{"propositions":[],"lastnames":["Jouvelot"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Orlarey"],"firstnames":["Yann"],"suffixes":[]}],"url":"https://hal-mines-paristech.archives-ouvertes.fr/hal-00628564","journal":"Computer Languages, Systems and Structures","publisher":"Elsevier","volume":"Volume 37","number":"Issue 3","pages":"113-131","year":"2011","month":"February","doi":"10.1016/j.cl.2011.03.001","keywords":"Domain specific languages ; Synchronous signal processing ; Multirate computing ; Dependent type systems ; Static semantics ; Denotational semantics","hal_id":"hal-00628564","hal_version":"v1","bibtex":"@article{jouvelot:hal-00628564,\n TITLE = {{Dependent vector types for data structuring in multirate Faust}},\n AUTHOR = {Jouvelot, Pierre and Orlarey, Yann},\n URL = {https://hal-mines-paristech.archives-ouvertes.fr/hal-00628564},\n JOURNAL = {{Computer Languages, Systems and Structures}},\n PUBLISHER = {{Elsevier}},\n VOLUME = {Volume 37},\n NUMBER = {Issue 3},\n PAGES = {113-131},\n YEAR = {2011},\n MONTH = Feb,\n DOI = {10.1016/j.cl.2011.03.001},\n KEYWORDS = {Domain specific languages ; Synchronous signal processing ; Multirate computing ; Dependent type systems ; Static semantics ; Denotational semantics},\n HAL_ID = {hal-00628564},\n HAL_VERSION = {v1},\n}\n\n","author_short":["Jouvelot, P.","Orlarey, Y."],"key":"jouvelot:hal-00628564","id":"jouvelot:hal-00628564","bibbaseid":"jouvelot-orlarey-dependentvectortypesfordatastructuringinmultiratefaust-2011","role":"author","urls":{"Paper":"https://hal-mines-paristech.archives-ouvertes.fr/hal-00628564"},"keyword":["Domain specific languages ; Synchronous signal processing ; Multirate computing ; Dependent type systems ; Static semantics ; Denotational semantics"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.archives-ouvertes.fr/search/INFORMATIQUE-MUSICALE/?omitHeader=true&wt=bibtex&q=%2A&sort=producedDate_tdate+desc&fq=collCode_s%3AINFORMATIQUE-MUSICALE&defType=edismax&rows=1000","dataSources":["TYJ3LMjqpifEuDf8Z"],"keywords":["domain specific languages ; synchronous signal processing ; multirate computing ; dependent type systems ; static semantics ; denotational semantics"],"search_terms":["dependent","vector","types","data","structuring","multirate","faust","jouvelot","orlarey"],"title":"Dependent vector types for data structuring in multirate Faust","year":2011}