Results 191 to 200 of about 166,301 (248)
Some of the next articles are maybe not open access.
A framework for typed HOAS and semantics
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, 2003 We investigate a framework for representing and reasoning about syntactic and semantic aspects of typed languages with variable binders.First, we introduce typed binding signatures and develop a theory of typed abstract syntax with binders. Each signature is associated to a category of "presentation" models, where the language of the typed signature is MICULAN, Marino, SCAGNETTO, Ivanopenaire +2 more sourcesHOA
2009 Dieter Metze, Vanessa F. Cury, Ricardo S. Gomez, Luiz Marco, Dror Robinson, Eitan Melamed, Alexander K. C. Leung, Jae-Hwan Nam, Yoichi Matsubara, Keiya Tada, Seda Sancak, Ralf Paschke, Susan Kupka, Stefan K. Plontke, Hans-Peter Zenner, Susan Kupka, Gohar Azhar, Jeanne Y. Wei, Y. James Kang, Katsuhiko Yoshizawa, Abraham Nyska, Graeme Jones, Kathy Triantafilou, Philipp M. Lepper, Alexander K. C. Leung, Johannes G. Bode, Johannes G. Bode, Clifford E. Kashtan, Klaus Schümann, Günter Weiss, Christine Skerka, Christoph Licht, Peter F. Zipfel, Hugo ten Cate, Hugo ten Cate, Hugo ten Cate, Mark Oette, Dieter Häussinger, Isabelle L. Ruel, Patrick Couture, Benoît Lamarche, Sören V. Siegmund, Stephan L. Haas, Manfred V. Singer, Tobias Heintges, Ralf Kubitz, Dieter Häussinger, Andreas Erhardt, Andreas Erhardt, Frank Lammert, Johann Lorenzen, Hubert E. Blum, Darius Moradpour, Ralf Kubitz, Georg Merker, Dieter Häussinger, Matthias Wettstein, Matthias Wettstein, Mónica Guevara, Pere Ginès, Hugo Ten Cate, Alexander K. C. Leung, Ulrich Heininger, Markus Pfister, Hans-Peter Zenner, Marcus Schmitt, Arend F. L. Schinkel, Don Poldermans, Jeroen J. Bax, Heimo Mairbäurl, Peter Bärtsch, Ralf Kubitz, Georg H. Merker, Dieter Häussinger, Percy Chiu, Richard S. Legro, William L. Nyhan, Sandeep S. Dave, Jürgen Kohlhase, Arne W. J. H. Dielis, Hugo ten Cate, S. Harvey Mudd, Christian Simon, Oliver Schildgen, Suncanica Ljubin Sternak, Gordana Mlinaric-Galinovic, Eggert Stockfleth, Ingo Nindl, Inga Zerr, Mathias Bähr, Nicole Stankus, Katrin S. Lindenberg, G. Bernhard Landwehrmeyer, Jonas Denecke, Alexander K. C. Leung, Shoichi Katsuragi, Bodo Grimbacher, Cristina Woellner, Steven Holland, Christian A. Koch, Christian A. Koch, Michael T. Geraghty, Peter L. M. Jansen, Robert P. Whitehead, Edward M. Brown, Mei Bai, T. John Martin, Joaquin Escribano, Victor M. Garca Nieto, Patrick TS Ma, Lucia K Ma, Alexander K. C Leung, Angelika F. Hahn, Mallikarjuna Nallegowda, Upinderpal Singh, Mangajji R. Umapathi, Rakesh Kumar, Hugo ten Cate, Hugo ten Cate, Raffaele Badolato, Benjamin Glaser, Ruth Schreiber, Daniel Landau, Keiya Tada, Yoichi Matsubara, Goo Taeg Oh, Carla Kallen, Joel Michels Topf, Patrick Murray, S. Harvey Mudd, Jaime Tejedor, Mallikarjuna Nallegowda, Upinderpal Singh, Rakesh Kumar, Manish Kumar Varshney, Mallikarjuna Nallegowda, Upinderpal Singh, Rakesh Kumar, Kanya Suphapeetiporn, Vorasuk Shotelersuk, Bernd Hoppe, Albrecht Hesse, Geoffrey N. Hendy, David E. C. Cole, Charles R. Nolan, Haruo Shintaku, Hiroshi Ichinose, Henry J. Mankin, Christian A. Koch, Gabriel I. Uwaifo, Bettina C. Reulecke, Jonas Denecke, Werner Heppt, Annette Cryer, Rade Tomic, Jesse Roman, Jan Rémi, Soheyl Noachtar, Miki Nagase, Toshiro Fujita, Angel Cogolludo, Jason X.-J. Yuan, Lewis J. Rubin, Manning R. Davis, T. Balakrishna Poduval, Saurabh Chatterjee, Hulya Iliksu Gozu, Markus Eszlinger, Rifat Bircan, Ralf Paschke, Hulya Iliksu Gozu, Julia Lüblinghoff, Rifat Bircan, Ralf Paschke, Hulya Iliksu Gozu, Julia Lüblighoff, Rifat Bircan, Roland Pfäffle, Ralf Paschke, Shui-Ping Zhao, Hui-Jun Ye, Jens Mogensen, Rejin Kebudi, Sezer Saglam, Michael A. Becker, John R. Asplin, Keiya Tada, Yoichi Matsubara, Robert W. Gotshall, Christian A. Koch, Hubert Scharnagl, Winfried März, John A. Sayer, Simon H. Pearce, James J. Paparello, Philip J. Klemmer, Abhijit V. Kshirsagar, Patrick T. S. Ma, Lucia K. Ma, Alexander K. C. Leung +199 moreopenaire +1 more sourceRogasodes phongi Long & Hoa 2018
Rogasodes phongi Long & Hoa, 2018 Material examined. VIETNAM: Holotype, ♀, labelled “Rog. 1047 ” (IEBR), NE Vietnam: Vinh Phuc, Me Linh, Tam Dao forest, MT, 21º23’N 105º42’E, 60 m, 8˗18.vi.2018, PH Phong. Paratypes, 1 ♀, labelled “Rog. 1060 ” (VNMN), ibid. but 728. vii.2018, PH Phong; 1 ♀, labelled “Rog.Oanh, Nguyen Thi, Long, Khuat Dang, Achterberg, Cornelis van, Dao, Nguyen Cam +3 moreopenaire +1 more source
