Search results for "PLI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Zhong Shao	Invited Talk: Towards a Principled Multi-Language Infrastructure.	BABEL	2001	DBLP DOI BibTeX RDF
26	Leif Kornstaedt	Alice in the Land of Oz - An Interoperability-based Implementation of a Functional Language on Top of a Relational Language.	BABEL	2001	DBLP DOI BibTeX RDF
26	Mark Shields, Simon L. Peyton Jones	Object-Oriented Style Overloading for Haskell.	BABEL	2001	DBLP DOI BibTeX RDF
26	Jürg Gutknecht	Active Oberon for .NET: An Exercise in Object Model Mapping.	BABEL	2001	DBLP DOI BibTeX RDF
26	Nick Benton, Andrew Kennedy	BABEL 2001 - Preface.	BABEL	2001	DBLP DOI BibTeX RDF
26	Tyson Dowd, Fergus Henderson, Peter Ross	Compiling Mercury to the .NET Common Language Runtime.	BABEL	2001	DBLP DOI BibTeX RDF
26	Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz	Towards Language-Agnostic Mobile Code.	BABEL	2001	DBLP DOI BibTeX RDF
26	Kathleen Fisher, Riccardo Pucella, John H. Reppy	A framework for interoperability.	BABEL	2001	DBLP DOI BibTeX RDF
26	John H. Reppy, Peter Sewell (eds.)	4th International Workshop on High-Level Concurrent Languages, HLCL 2000, Satellite to PLI 2000, Montreal, Canada, September 20, 2000	HLCL	2000	DBLP BibTeX RDF
26	Alan Jeffrey (eds.)	4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000	HOOTS	2000	DBLP BibTeX RDF
26	Graham Hutton (eds.)	Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000	Haskell	2000	DBLP BibTeX RDF
26	Tom Chothia, Ian Stark	A Distributed Pi-Calculus with Local Areas of Communication.	HLCL	2000	DBLP DOI BibTeX RDF
26	Peter Sewell	Preface.	HLCL	2000	DBLP DOI BibTeX RDF
26	Alan Jeffrey	Preface.	HOOTS	2000	DBLP DOI BibTeX RDF
26	Simon Helsen, Peter Thiemann 0001	Syntactic Type Soundness for the Region Calculus.	HOOTS	2000	DBLP DOI BibTeX RDF
26	Roberto Virga	Efficient Substitution in Hoare Logic Expressions.	HOOTS	2000	DBLP DOI BibTeX RDF
26	Michael Baldamus	First-order Semantics for Higher-order Processes.	HOOTS	2000	DBLP DOI BibTeX RDF
26	Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo	Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.	HOOTS	2000	DBLP DOI BibTeX RDF
26	Yasuhiko Minamide	A New Criterion for Safe Program Transformations.	HOOTS	2000	DBLP DOI BibTeX RDF
26	Simon Marlow	Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server.	Haskell	2000	DBLP DOI BibTeX RDF
26	Chris Okasaki	An Overview of Edison.	Haskell	2000	DBLP DOI BibTeX RDF
26	Andy Gill	Debugging Haskell by Observing Intermediate Data Structures.	Haskell	2000	DBLP DOI BibTeX RDF
26	Ralf Hinze, Simon L. Peyton Jones	Derivable Type Classes.	Haskell	2000	DBLP DOI BibTeX RDF
26	Erik Meijer 0001, Sigbjørn Finne	Lambada, Haskell as a Better Java.	Haskell	2000	DBLP DOI BibTeX RDF
26	S. Doaitse Swierstra	Combinator Parsers - From Toys to Tools.	Haskell	2000	DBLP DOI BibTeX RDF
26	Graham Hutton	Preface.	Haskell	2000	DBLP DOI BibTeX RDF
26	Jonas Holmerin, Björn Lisper	Data Field Haskell.	Haskell	2000	DBLP DOI BibTeX RDF
26	Erik Meijer 0001, Danny van Velzen	Haskell Server Pages - Functional Programming and the Battle for the Middle Tier.	Haskell	2000	DBLP DOI BibTeX RDF
26	Martin Erwig, Simon L. Peyton Jones	Pattern Guards and Transformational Patterns.	Haskell	2000	DBLP DOI BibTeX RDF
26	Adam Bakewell, Colin Runciman	A Space Semantics for Core Haskell.	Haskell	2000	DBLP DOI BibTeX RDF
26	Koen Claessen, Peter Ljunglöf	Typed Logical Variables in Haskell.	Haskell	2000	DBLP DOI BibTeX RDF
21	In-sung Woo, Chwa-cheul Shin, Heung-soon Kang, Seong-soo Hong, Suk-dong Kim	International Phoneticizing Engine Technology through Language Independent Lexical Acquisition.	MUE	2007	DBLP DOI BibTeX RDF
21	Youhui Zhang, Liu Dong, Yu Gu 0005, Dongsheng Wang 0002	Exploring Design Space Using Transaction Level Models.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
21	Ciaran Toal, Sakir Sezer	A 10 Gbps GFP Frame Delineation Circuit with Single Bit Error Correction on an FPGA.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF	reg
21	Daniel Barros Jr., Fabian Vargas 0001, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Modeling and Simulation of Time Domain Faults in Digital Systems.	IOLTS	2004	DBLP DOI BibTeX RDF
21	Byeong Min, Gwan Choi	ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation.	PRDC	2001	DBLP DOI BibTeX RDF
21	L. Owen Hill, David A. Zein	Automatic generation of graphs from free-form text using APL.	APL	1987	DBLP DOI BibTeX RDF	APL
21	Richard S. Marcus	Integration through intermediary system networks.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF