Type inference in the polymorphic relational algebra
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient support for complex numbers in Java
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A Formal and Executable Specification of the Internet Open Trading Protocol
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verification of a Revised WAP Wireless Transaction Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
An Extensible Type System for Component-Based Design
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Understanding functional programming
Journal of Computing Sciences in Colleges
Towards formal specification and analysis of avionics mission systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A coloured petri net based tool for course of action development and analysis
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
An improved formal specification of the Internet Open Trading Pprotocol
Proceedings of the 2004 ACM symposium on Applied computing
Inductive graphs and functional graph algorithms
Journal of Functional Programming
Compiler implementation in a formal logical framework
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Adding polymorphic tuples and lists to the syntax of Java
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Delegates and functional programming in C#
Proceedings of the 2nd annual conference on Mid-south college computing
From functional to object-oriented programming: a smooth transition for beginners
Proceedings of the 2005 workshop on Functional and declarative programming in education
Generic programming in Fortran
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Generics, delegates and functional programming in C# 2.0
Journal of Computing Sciences in Colleges
Type inference for unique pattern matching
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal compiler construction in a logical framework
Higher-Order and Symbolic Computation
Formal modelling and analysis of mission-critical software in military avionics systems
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Teaching functional programming with soccer-fun
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Central European Functional Programming School
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Agent Computing and Multi-Agent Systems
Program transformations for information personalization
Computer Languages, Systems and Structures
The ComBack method: extending hash compaction with backtracking
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
Revisiting parametric types and virtual classes
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Function composition is a good practice: nifty assignment
Journal of Computing Sciences in Colleges
Journal of Functional Programming
More precise typing of rewrite strategies
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Formal modelling and initial validation of the chelonia distributed storage system
GPC'11 Proceedings of the 6th international conference on Advances in grid and pervasive computing
Deriving functional interface specifications for composite components
SC'11 Proceedings of the 10th international conference on Software composition
Coexistence of functional and object-oriented paradigms
Journal of Computing Sciences in Colleges
A generative programming approach to interactive information retrieval: insights and experiences
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Simulating multiple inheritance and generics in Java
Computer Languages
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
An efficient method for unfolding colored Petri nets
Proceedings of the Winter Simulation Conference
An introduction to systems modeling and simulation with colored petri nets
Proceedings of the Winter Simulation Conference
On the dovetail counting method
Journal of Computing Sciences in Colleges
Journal of Computing Sciences in Colleges
| Hi-index | 0.00 |